jff's van de Snepscheut:JLA [7 articles] Export

Recent papers posted to jff's library by the author van de Snepscheut:JLA. You can also see everyone's van de Snepscheut:JLA.

Hide details

	Inversion of a recursive tree traversal [My Copy] Inf. Process. Lett., Vol. 39, No. 5. (1991), pp. 265-267. by Jan L. A. van de Snepscheut posted to algorithm-derivation algorithms calculational calculational-bib construction invariant inversion problem-solving by jff on 2009-06-22 14:36:57 as
	A Categorical Approach to the Theory of Lists [My Copy] In Conference on the Mathematics of Program Construction (1989), pp. 399-408. by M. Spivey edited by J. L. A. van de Snepscheut posted to rcb-bibfile by jff on 2008-05-07 12:57:47 as
	What Computing Is All About [My Copy] (1993) by Jan L. A. van de Snepscheut posted to rcb-bibfile by jff on 2008-05-07 12:57:47 as
	Algorithm Theories and Design Tactics [My Copy] In Conference on the Mathematics of Program Construction (1989), pp. 379-398. by D. R. Smith, M. R. Lowry edited by J. L. A. van de Snepscheut posted to rcb-bibfile by jff on 2008-05-07 12:57:42 as
	Constructing a calculus of programs [My Copy] In Conference on the Mathematics of Program Construction (1989), pp. 66-90. by L. Meertens edited by J. L. A. van de Snepscheut posted to rcb-bibfile by jff on 2008-05-07 12:57:37 as
	Homomorphisms and Promotability [My Copy] In Conference on the Mathematics of Program Construction (1989), pp. 335-347. by G. Malcolm edited by J. L. A. van de Snepscheut posted to rcb-bibfile by jff on 2008-05-07 12:57:36 as
	Mathematics of Program Construction. 375th Anniversary of the Groningen University. International Conference. Proceedings [My Copy] No. 375. (1989) edited by J. L. A. van de Snepscheut posted to rcb-bibfile by jff on 2008-05-07 12:57:13 as

Note: You may cite this page as: http://www.citeulike.org/user/jff/author/van de Snepscheut:JLA

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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

jff's van de Snepscheut:JLA [7 articles] Export

jff's tags