jff's Backhouse:R [137 articles] Export

Recent papers posted to jff's library by the author Backhouse:R. You can also see everyone's Backhouse:R.

	Which Mathematics for the Information Society? [My Copy] (June 2009) by João F. Ferreira, Alexandra Mendes, Roland Backhouse, L. S. Barbosa posted to calculational jff-bib mathematical-methodology mathis by jff on 2009-06-26 14:32:23 as
	On Euclid's Algorithm and Elementary Number Theory [My Copy] (2009) by Roland Backhouse, João F. Ferreira posted to algorithm-derivation brocot calculational calkin-wilf eisenstein enumeration euclidean-algorithm greatest-common-divisor invariant jff-bib mathematical-methodology number-theory problem-solving rational-number stern-brocot by jff on 2009-02-23 10:48:11 as along with 1 person and 7 groups A_Olympia logics of knowledge TMC Mathematics education Foundations-of-Programming Formal_Methods Algorithms Algorithmic Problem Solving
	Recounting the Rationals: Twice! [My Copy] Mathematics of Program Construction In Mathematics of Program Construction, Vol. 5133 (2008), pp. 79-91. by Roland Backhouse, João F. Ferreira posted to algorithm-derivation calkin-wilf jff-bib stern-brocot by jff on 2008-07-28 11:57:32 as
	Archive of the Mathematics of Program Construction Group [My Copy] (July 1998) by R. C. Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	\\mplogo Ergonomic Document Preparation [My Copy] (February 1996) by Roland Backhouse, Richard Verhoeven posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Calculating hardware circuits [My Copy] (1998) by Roland Backhouse, Matteo Vaccari posted to rcb-bibfile by jff on 2008-05-07 12:57:49 as
	Calculating a Round Robin Scheduler [My Copy] In Mathematics of Program Construction, 4th International Conference, Marstrand, Sweden, Vol. 1422 (June 1998), pp. 365-382. by Matteo Vaccari, Roland Backhouse edited by Johan Jeuring posted to rcb-bibfile by jff on 2008-05-07 12:57:49 as
	Deriving a systolic language recognizer [My Copy] No. 96/25. (1996) by Matteo Vaccari, Roland Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:49 as
	Deriving a systolic language recognizer [My Copy] In Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France (1997), pp. 49-72. by Matteo Vaccari, Roland Backhouse edited by Richard S. Bird, Lambert Meertens posted to rcb-bibfile by jff on 2008-05-07 12:57:49 as
	A Relational Theory of Datatypes [My Copy] (September 1992) by C. J. Aarts, R. C. Backhouse, P. Hoogendijk, T. S. Voermans, J. van der Woude posted to rcb-bibfile by jff on 2008-05-07 12:57:40 as
	When do datatypes commute? [My Copy] In Category Theory and Computer Science, 7th International Conference, Vol. 1290 (September 1997), pp. 242-260. by Paul Hoogendijk, Roland Backhouse edited by Eugenio Moggi, Giuseppe Rosolini posted to rcb-bibfile by jff on 2008-05-07 12:57:32 as
	When do datatypes commute? [My Copy] (1997) by Paul Hoogendijk, Roland Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:32 as
	Relational programming laws in the tree, list, bag, set hierarchy [My Copy] Science of Computer Programming, Vol. 22, No. 1--2. (1994), pp. 67-105. by Paul Hoogendijk, Roland C. Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:32 as
	Galois Connections and Fixed Point Calculus [My Copy] In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Vol. LNCS 2297 (2002), pp. 89-148. by Roland Backhouse edited by Roland Backhouse, Roy Crole, Jeremy Gibbons posted to rcb-bibfile by jff on 2008-05-07 12:57:27 as
	Algebra of Program Termination [My Copy] In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Vol. LNCS 2297 (2002), pp. 203-235. by Henk Doornbos, Roland Backhouse edited by Roland Backhouse, Roy Crole, Jeremy Gibbons posted to rcb-bibfile by jff on 2008-05-07 12:57:27 as
	A Calculation Approach to Mathematical Induction [My Copy] Theoretical Computer Science, Vol. 179(1--2) (1997), pp. 103-135. by H. Doornbos, R. C. Backhouse, J. van der Woude posted to rcb-bibfile by jff on 2008-05-07 12:57:27 as
	Induction and recursion on datatypes [My Copy] In Mathematics of Program Construction, 3rd International Conference, Vol. 947 (July 1995), pp. 242-256. by Henk Doornbos, Roland Backhouse edited by B. Möller posted to rcb-bibfile by jff on 2008-05-07 12:57:27 as
	Safety of abstract interpretations for free, via logical relations and Galois connections [My Copy] Science of Computer Programming, Vol. 51, No. 1--2. (2004), pp. 153-196. by Kevin Backhouse, Roland Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:24 as
	On Induced Congruences [My Copy] No. CS 9001. (1990) by R. C. Backhouse, G. Malcolm posted to rcb-bibfile by jff on 2008-05-07 12:57:24 as
	A while-rule in Martin-Löf's Theory of Types [My Copy] The Computer Journal, Vol. 30, No. 1. (1987), pp. 27-36. by R. C. Backhouse, A. Khamiss posted to rcb-bibfile by jff on 2008-05-07 12:57:24 as
	Calculating a path algorithm [My Copy] In Mathematics of Program Construction. 2nd International Conference, June/July 1992, Vol. 669 (1993), pp. 32-44. by Roland Backhouse, A. J. M. van Gasteren edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock posted to rcb-bibfile by jff on 2008-05-07 12:57:24 as
	Programs and Datatypes [My Copy] (1997), pp. 150-165. by Netty, Roland Backhouse edited by Chris Brink, Wolfram Kahl, Gunther Schmidt posted to rcb-bibfile by jff on 2008-05-07 12:57:24 as
	Category theory as coherently constructive lattice theory: an illustration [My Copy] (1994) by R. C. Backhouse, M. Bijsterveld posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Mathematical Induction Made Calculational [My Copy] (1994) by R. C. Backhouse, H. Doornbos posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	A comparison of Gaussian and Gauss-Jordan elimination in regular algebra [My Copy] International J. of Computer Math., Vol. 10 (1982), pp. 311-325. by R. C. Backhouse, B. A. Carré posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	The Torch Problem [My Copy] (August 2007) by Roland Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Recounting the rationals. Twice! [My Copy] by Roland Backhouse, Joao Ferreira posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Regular Algebra applied to path-finding problems. [My Copy] Journal of the Institute of Mathematics and its Applications, Vol. 15 (1975), pp. 161-186. by R. C. Backhouse, B. A. Carré posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Algebraic Approaches to Problem Generalisation [My Copy] In Algebraic Methodology and Softwre Technology, 10th International Conference, Vol. 3116 (July 2004) by Roland Backhouse edited by Carron posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Regular Algebra Applied to Language Problems [My Copy] Journal of Logic and Algebraic Programming, No. 66. (2006), pp. 71-111. by Roland Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	A De Morgan-like Rule for Increasing Sequences. Full Version [My Copy] (April 2005) by Roland Backhouse, Diethard Michaelis posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	A problem of absolute differences [My Copy] (June 2004) by Roland Backhouse, Diethard Michaelis posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Fixed-Point Characterisation of Winning Strategies in Impartial Games [My Copy] In Relational and Kleene-Algebraic Methods in Computer Science, 7th International Symposium on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Revised Selected Papers, Vol. LNCS 3051 (2004), pp. 34-47. by Roland Backhouse, Diethard Michaelis edited by Rudolf Berghammer, Bernhard Möller, Georg Struth posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Win, Lose and Stalemate in Impartial Games [My Copy] In 7th International Symposium on Relational Methods in Computer Science (May 2003), pp. 112-117. by Roland Backhouse, Diethard Michaelis edited by Rudolf Berghammer, Bernhard Möller posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	The Theory of Fixed Points and Galois Connections Applied to Language-Processing Problems [My Copy] In DIMACS Workshop on Applications of Lattices and Ordered Sets to Computer Science, Vol. http://dimacs.rutgers.edu/Workshops/Lattices/abstracts.html (July 2003) by Roland Backhouse edited by Jonathan Farley, Mel Janowitz, Jimmie Lawson, Michael Mislove posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Program Construction. Calculating Implementations From Specifications [My Copy] (2003) by Roland Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Generic Haskell: Applications [My Copy] Vol. 2793 (2003), pp. 57-96. by Ralf Hinze, Johan Jeuring edited by Roland Backhouse, Jeremy Gibbons posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as
	Generic Haskell: Practice and Theory [My Copy] Vol. 2793 (2003), pp. 1-56. by Ralf Hinze, Johan Jeuring edited by Roland Backhouse, Jeremy Gibbons posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Generic Haskell: Applications [My Copy] In Generic Programming, Vol. LNCS 2793 (2003), pp. 57-96. by Ralf Hinze, Johan Jeuring edited by Roland Backhouse, Jeremy Gibbons posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Generic Haskell: Practice and Theory [My Copy] In Generic Programming, Vol. LNCS 2793 (2003), pp. 1-56. by Ralf Hinze, Johan Jeuring edited by Roland Backhouse, Jeremy Gibbons posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Generic Programming [My Copy] Vol. 2793 (2003) edited by Roland Backhouse, Jeremy Gibbons posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Applications of Kleene Algebra [My Copy] Vol. Seminar No. 01081, Report No. 298 (2001) edited by Roland Backhouse, Dexter Kozen, Bernhard Möller posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Generic Properties of Datatypes [My Copy] In Generic Programming, Vol. 2793 (2003), pp. 98-135. by Roland Backhouse, Paul Hoogendijk edited by Roland Backhouse, Jeremy Gibbons posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Algebraic and Colagebraic Methods in the Mathematics of Program Construction [My Copy] Vol. 2297 (2002) edited by Roland Backhouse, Jeremy Gibbons, Roy Crole posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Preface [My Copy] Science of Computer Programming, Vol. 43, No. 2--3. (May 2002), pp. 91-92. by Roland Backhouse, Jose Oliveira posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Galois Connections and Logical Relations [My Copy] In Int. Conf. on Mathematics of Program Construction, Proceedings, Vol. 2386 (July 2002), pp. 23-39. by Kevin Backhouse, Roland Backhouse edited by E. A. Boiten, B. Möller posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Fusion on Languages [My Copy] In Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001, Proceedings, Vol. 2028 (April 2001), pp. 107-121. by Roland Backhouse edited by D. Sands posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	The associativity of equivalence and the Towers of Hanoi Problem [My Copy] Information Processing Letters, Vol. 77 (2001), pp. 71-76. by Roland Backhouse, Maarten Fokkinga posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Fixed Point Calculus [My Copy] (April 2000) by Roland Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Galois Connections and Fixed Point Calculus [My Copy] In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Vol. 2297 (2002), pp. 89-148. by Roland Backhouse edited by Roland Backhouse, Roy Crole, Jeremy Gibbons posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as

Note: You may cite this page as: http://www.citeulike.org/user/jff/author/Backhouse:R

Result page: 1 2 3 Next

ewd-bib	1262
rcb-bibfile	855
math-bib	28
calculational	15
jff-bib	14
number-theory	14
algorithms	13
calculational-bib	11
problem-solving	10
general-bib	9
mathematical-methodology	8
algorithm-derivation	6
construction	6
invariant	5
rcb-bib	5
stern-brocot	5
book	4
inversion	4
brocot	3
calkin-wilf	3
chessboard	3
computability	3
correctness	3
mathis	3
ordinals	3
cacm	2
euclidean-algorithm	2
haskell	2
history	2
knuth-bib	2
mathematics	2
proof	2
tiling	2
trominoes	2
afm-bib	1
ai-natural-language-understanding-historical-context-semantics	1
boute	1
bruijn	1
computational-thinking	1
computerized-typesetting	1
continuants	1
cs	1
education	1
eisenstein	1
enumeration	1
epigram	1
exclusive-or	1
feedback	1
fixed-point	1
fm	1
formal	1
games	1
gauss	1
generating-functions	1
golomb	1
greatest-common-divisor	1
inequivalence	1
java	1
latex-computer-file	1
logic	1
moessner	1
parallel-computing	1
polyominoes	1
puzzle	1
puzzled	1
rational-number	1
solitaire	1
taocp	1
turing	1
unplugged	1
urm	1
wing	1

jff's Backhouse:R [137 articles] Export

jff's tags