Browse by Authors and Editors
Jump to: Article | Book Section Number of items: 5. ArticleBackhouse, Roland and Truong, Tan Minh (2015) The capacity-C torch problem. Science of Computer Programming, 102 . pp. 76-107. ISSN 0167-6423 Backhouse, Roland, Chen, Wei and Ferreira, João F. (2012) The algorithmics of solitaire-like games. Science of Computer Programming . ISSN 0167-6423 (In Press) Backhouse, Roland and Ferreira, João F. (2011) On Euclid’s algorithm and elementary number theory. Science of Computer Programming, 76 (3). pp. 160-180. ISSN 0167-64230 Backhouse, Roland and Doornbos, Henk (2008) Datatype-generic termination proofs. Theory of Computing Systems, 43 (3-4). pp. 362-393. ISSN 1433-0490 Book SectionBackhouse, Roland (2012) First-past-the-post games. In: Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012: proceedings. Lecture notes in computer science (7342). Springer, Berlin, pp. 157-176. ISBN 9783642311130 |
