Search Results - Backhouse, Roland
Roland Carl Backhouse
Roland Carl Backhouse (born 18 August 1948) is a British computer scientist and mathematician. He is professor emeritus of computing science at the University of Nottingham.
Provided by Wikipedia
- Showing 1 - 5 results of 5
-
1
-
2
Datatype-generic termination proofs by Backhouse, Roland, Doornbos, Henk
Published 2008Get full text
-
3
-
4
-
5