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 Mendes:A [4 articles] Export

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

	Which Mathematics for the Information Society? [My Copy] Teaching Formal Methods In Teaching Formal Methods, Vol. 5846 (2009), pp. 39-56. by João F. Ferreira, Alexandra Mendes, Roland Backhouse, Luís S. Barbosa posted to mathis mathematical-methodology jff-bib calculational by jff on 2009-11-27 21:53:37 as
	Students' Feedback on Teaching Mathematics Through The Calculational Method [My Copy] Frontiers in Education 2009 (2009) by João F. Ferreira, Alexandra Mendes posted to calculational education feedback jff-bib mathematical-methodology mathis by jff on 2009-06-26 15:08:10 as
	Camila Revival: VDM meets Haskell [My Copy] In {F}irst {O}verture {W}orkshop (July 2005) by Joost Visser, José N. Oliveira, João F. Ferreira, Alexandra S. Mendes posted to afm-bib by jff on 2006-09-26 12:00:29 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC
	Camila Revival: VDM meets Haskell [My Copy] In First Overture Workshop (2005) by Joost Visser, José N. Oliveira, Luis S. Barbosa, João F. Ferreira, Alexandra S. Mendes posted to jff-bib by jff on 2006-09-26 12:00:15 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC

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

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 Mendes:A [4 articles] Export

jff's tags