Backhouse, Roland C., 1948-
Backhouse, Roland C.
Backhouse, Roland Carl, 1948-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Roland Carl Backhouse British computer scientist and mathematician
Backhouse, Roland
VIAF ID: 41871791 (Personal)
Permalink: http://viaf.org/viaf/41871791
Preferred Forms
-
200 _ 1 ‡a Backhouse ‡b Roland C. ‡f 1948-
-
200 _ | ‡a Backhouse ‡b Roland C. ‡f 1948-....
-
100 1 _ ‡a Backhouse, Roland
-
100 1 _ ‡a Backhouse, Roland C
-
100 1 _ ‡a Backhouse, Roland C.
-
100 1 _ ‡a Backhouse, Roland C.
-
100 1 _
‡a
Backhouse, Roland C.
-
100 1 _ ‡a Backhouse, Roland C. ‡d (1948- ).
-
100 1 _
‡a
Backhouse, Roland C.
‡d
1948-
-
100 1 _
‡a
Backhouse, Roland C.
‡d
1948-
-
100 1 _
‡a
Backhouse, Roland C.
‡d
1948-
-
100 1 _ ‡a Backhouse, Roland C., ‡d 1948-
-
100 1 _
‡a
Backhouse, Roland C.,
‡d
1948-
-
100 1 _ ‡a Backhouse, Roland C., ‡d 1948-
-
100 1 0
‡a
Backhouse, Roland C.,
‡d
1948-
-
100 1 _ ‡a Backhouse, Roland C., ‡d 1948-
-
100 1 _ ‡a Backhouse, Roland C., ‡d 1948-
-
100 1 _ ‡a Backhouse, Roland C., ‡d 1948-
-
100 1 _ ‡a Backhouse, Roland Carl, ‡d 1948-
-
100 1 _
‡a
Backhouse, Roland Carl,
‡d
1948-....
-
100 0 _
‡a
Roland Carl Backhouse
‡c
British computer scientist and mathematician
4xx's: Alternate Name Forms (16)
5xx's: Related Names (5)
- 510 2 _
‡a
MPC 2000 (2000 : Ponte do Lima, Portugal)
- 510 2 _
‡a
School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : Oxford)
- 510 2 _
‡a
Spring School on Datatype Generic Programming 2006 Nottingham
- 510 2 _
‡a
University (Nottingham)
- 510 2 _
‡a
University of Nottingham
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
Works
| Title | Sources |
|---|---|
| Algorithmic problem solving |
|
| Calculating a round-robin scheduler |
|
| Calculating the Warshall/Floyd path algorithm |
|
| Category theory as coherently constructive lattice theory : an illustration |
|
| Demonic operators and monotype factors |
|
| Deriving a systolic regular language recognizer |
|
| Do-it-yourself type theory |
|
| Final dialgebras: from categories to allegories |
|
| Generic programming : advanced lectures |
|
| Informal proceedings of the workshop on user interfaces for theorem provers : Eindhoven University of Technology, 13-15 July 1998 |
|
| Math∫pad : a system for on-line preparation of mathematical documents |
|
| Mathematical induction made calculational |
|
| Mathematics of program construction : 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings |
|
| MPC 2000 |
|
| Pair algebras and Galois connections |
|
| Program construction and verification |
|
| Relational catamorphisms |
|
| Syntax of programming ... 1979:t.p. (Roland C. Backhouse, Ph.D., Heriot-Watt Univ., Edinburgh) CIP data sheet (Backhouse, Roland Carl, b. 8/18/48) |
|
| Syntax of programming languages : theory and practice |
|
| When do datatypes commute? |
|
| 논리적 사고를 기르는 알고리즘 수업 알고리즘보다 먼저 공부하는 알고리즘 사고 방식 |
|
