jff's general-bib [9 articles] Export

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

	The Relationship between Exclusive-Or and the Unique Existential Quantifier [My Copy] Journal of Computer Science, Vol. 4, No. 9. (2008), pp. 741-743. by Maher A. Nabulsi, Ayman M. Abdalla posted to exclusive-or general-bib inequivalence logic mathematics by jff on 2009-08-06 18:06:28 as
	Using Domain-Independent Problems for Introducing Formal Methods [My Copy] FM 2006: Formal Methods In Lecture Notes in Computer Science, Vol. 4085 (2006), pp. 316-331. by Raymond Boute edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski posted to boute fm formal general-bib mathematical-methodology mathis by jff on 2009-08-01 16:43:54 as
	Polyominoes [My Copy] (1965) by Solomon W. Golomb posted to chessboard general-bib golomb polyominoes tiling by jff on 2009-07-31 14:37:41 as along with 1 group TMC
	An Algebraic Tiling Proof [My Copy] The Mathematical Gazette, Vol. 73, No. 465. (1989), pp. 210-211. by Nick Mackinnon posted to chessboard general-bib tiling trominoes by jff on 2009-07-31 14:32:49 as
	A Solitaire game and its relation to a finite field [My Copy] J. of Recreational Math, Vol. 5 (1972), pp. 133-137. by N. G. de Bruijn posted to bruijn chessboard general-bib solitaire trominoes by jff on 2009-07-31 14:29:23 as along with 1 group TMC
	Computer Science Unplugged: An enrichment and extension programme for primary-aged children [My Copy] (December 2006) by Tim Bell, Ian H. Witten, Mike Fellows posted to cs general-bib unplugged by jff on 2009-07-30 12:05:34 as along with 1 group Algorithmic Problem Solving
	Computational thinking [My Copy] Commun. ACM, Vol. 49, No. 3. (March 2006), pp. 33-35. by Jeannette M. Wing posted to cacm computational-thinking general-bib wing by jff on 2009-07-30 11:43:09 as along with 12 people lipflip onierstrasz fgibson dullhunk michaelbanks djsaab kistijantoro smogit AlisonBabeu spl eddymier hawkestein
	Enumerating the Rationals [My Copy] (2006) by Jeremy Gibbons, David Lester, Richard Bird posted to haskell general-bib algorithms by jff on 2007-02-01 13:56:56 as along with 1 person and 4 groups dsquared Crypto GraphTheory Foundations-of-Programming TMC
	An axiomatic basis for computer programming [My Copy] Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580. by C. A. R. Hoare posted to algorithms correctness general-bib by jff on 2006-12-26 12:34:22 as along with 20 people and 6 groups thermostat bedieber cyph3r robertjohnsimmons hdeyoung mattmight ddemange mrsmond michaelbanks jkominek leonardo rwtodd dsilva jbrown rgb calvins flavian_vasile _Anne_ bfraser zuleger ConcertRG Crypto GraphTheory pileWorks Foundations-of-Programming TMC

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

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 general-bib [9 articles] Export

jff's tags