Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

jff's construction [6 articles] Export

Recent papers added to jff's library classified by the tag construction. You can also see everyone's construction.

	Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion [My Copy] Programming Languages and Systems In Programming Languages and Systems, Vol. 2895 (2003), pp. 265-282. by Shin-Cheng Mu, Richard Bird posted to algorithm-derivation algorithms calculational calculational-bib construction haskell invariant inversion problem-solving by jff on 2009-06-22 14:40:50 as
	Program inversion in the refinement calculus [My Copy] Inf. Process. Lett., Vol. 37, No. 2. (1991), pp. 95-100. by J. von Wright posted to algorithm-derivation algorithms calculational calculational-bib construction invariant inversion by jff on 2009-06-22 14:39:22 as
	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 formal approach to program inversion [My Copy] In CSC '90: Proceedings of the 1990 ACM annual conference on Cooperation (1990), pp. 398-403. by Wei Chen posted to algorithm-derivation algorithms calculational-bib construction correctness invariant inversion problem-solving by jff on 2009-06-22 14:34:40 as along with 2 people jespera paper_jac
	Algorithmic Problem Solving (Draft book) [My Copy] (2006) by Roland Backhouse posted to algorithms construction correctness rcb-bib by jff on 2006-12-31 19:17:04 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC
	Program Construction. Calculating Implementations from Specifications. [My Copy] (2003) by Roland C. Backhouse posted to book construction rcb-bib by jff on 2006-03-17 14:25:39 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC

Note: You may cite this page as: http://www.citeulike.org/user/jff/tag/construction

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	16
jff-bib	15
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
correctness	4
inversion	4
brocot	3
calkin-wilf	3
chessboard	3
computability	3
haskell	3
mathis	3
ordinals	3
cacm	2
euclidean-algorithm	2
history	2
knuth-bib	2
logic	2
mathematics	2
proof	2
tiling	2
trominoes	2
afm-bib	1
ai-natural-language-understanding-historical-context-semantics	1
boute	1
bruijn	1
code	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
moessner	1
parallel-computing	1
polyominoes	1
predicates	1
puzzle	1
puzzled	1
quantifiers	1
rational-number	1
solitaire	1
taocp	1
turing	1
unplugged	1
urm	1
wing	1

jff's construction [6 articles] Export

jff's tags