Group: Foundations-of-Programming - library 1300 articles Export Sort

Hide details

	On Picture-Writing [My Copy] The American Mathematical Monthly, Vol. 63, No. 10. (1956), pp. 689-697. by G. Polya posted to math-bib by jff to the group Foundations-of-Programming on 2007-04-23 15:56:32 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	Ordinals, Computations, and Models of Set Theory [My Copy] (January 2006) by P. Koepke posted to computability math-bib ordinals urm by jff to the group Foundations-of-Programming on 2006-03-20 16:58:59 as along with 3 groups Crypto GraphTheory TMC
	Computing a Model of Set Theory [My Copy] In CiE (2005), pp. 223-232. by Peter Koepke posted to computability math-bib ordinals by jff to the group Foundations-of-Programming on 2006-03-20 16:52:42 as along with 3 groups Crypto GraphTheory TMC
	Turing Computations on Ordinals [My Copy] (13 February 2005) by Peter Koepke posted to computability math-bib ordinals turing by jff to the group Foundations-of-Programming on 2006-03-20 16:39:14 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	Structured Calculational Proof [My Copy] No. TUCS-TR-65. (FebruaryMay, 1996) by Ralph Back, Jim Grundy, Joakim von Wright posted to calculational calculational-bib mathematical-methodology proof by jff to the group Foundations-of-Programming on 2006-03-20 15:27:42 as along with 3 groups Crypto GraphTheory TMC
	Program Construction. Calculating Implementations from Specifications. [My Copy] (2003) by Roland C. Backhouse posted to book construction rcb-bib by jff to the group Foundations-of-Programming on 2006-03-17 14:25:39 as along with 3 groups Crypto GraphTheory TMC
	Puzzle-based Learning: Introduction to Critical Thinking, Mathematics, and Problem Solving [My Copy] by Z. Michalewicz, M. Michalewicz posted to math-bib problem-solving by jff to the group Foundations-of-Programming on 2009-05-26 16:36:54 as along with 2 groups TMC Algorithmic Problem Solving
	Ueber eine zahlentheoretische Funktion [My Copy] Journal für die reine und angewandte Mathematik, Vol. 55 (1858), pp. 193-220. by Moritz A. Stern posted to math-bib number-theory stern-brocot by jff to the group Foundations-of-Programming on 2009-02-09 17:01:49 as along with 3 groups TMC Algorithms Algorithmic Problem Solving
	On the Moessner Theorem on Integral Powers [My Copy] The American Mathematical Monthly, Vol. 73, No. 8. (1966), pp. 846-851. by C. T. Long posted to algorithms math-bib moessner by jff to the group Foundations-of-Programming on 2007-09-25 09:53:46 as along with 1 group TMC
	Generatingfunctionology [My Copy] by Herbert S. Wilf posted to math-bib generating-functions by jff to the group Foundations-of-Programming on 2007-06-25 12:27:48 as along with 9 people and 4 groups vmarceau dylanwalker ddcttrl ansobol yaroslavvb rubendrr s-adachi ransombriggs jkominek cytoskeleton-and-afm Crypto GraphTheory TMC
	Recounting the Rationals [My Copy] The American Mathematical Monthly, Vol. 107, No. 4. (2000), pp. 360-363. by Neil Calkin, Herbert S. Wilf posted to algorithms math-bib by jff to the group Foundations-of-Programming on 2007-02-26 11:46:42 as along with 3 groups Crypto GraphTheory TMC
	Enumerating the Rationals [My Copy] (2006) by Jeremy Gibbons, David Lester, Richard Bird posted to haskell general-bib algorithms by jff to the group Foundations-of-Programming on 2007-02-01 13:56:56 as along with 1 person and 3 groups dsquared Crypto GraphTheory TMC
	The calculational method [My Copy] Inf. Process. Lett., Vol. 53, No. 3. (10 February 1995) edited by Roland Backhouse, D. Gries, W. M. Turski, F. Dehne posted to calculational calculational-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:53:35 as along with 3 groups Crypto GraphTheory TMC
	Exercises in Quantifier Manipulation [My Copy] Mathematics of Program Construction In Mathematics of Program Construction 2006 (2006), pp. 69-81. by Roland Backhouse, Diethard Michaelis posted to rcb-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:47:16 as along with 3 groups Crypto GraphTheory TMC
	Mathematics with a little bit of logic: Structured derivations in high-school mathematics [My Copy] by Ralph-Johan Back, Joakim von Wright posted to calculational calculational-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:44:24 as along with 3 groups Crypto GraphTheory TMC
	A Browsable Format for Proof Presentation [My Copy] (1996) by Jim Grundy posted to calculational calculational-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:40:56 as along with 1 person and 3 groups Scis0000002 Crypto GraphTheory TMC
	Doing High School Mathematics Carefully [My Copy] (1997) by Ralph-Johan Back, Joakim von Wright posted to calculational calculational-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:38:55 as along with 3 groups Crypto GraphTheory TMC
	Why dependent types matter [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 1-1. by James Mckinna posted to epigram by jff to the group Foundations-of-Programming on 2006-10-16 17:33:06 as along with 3 groups Crypto GraphTheory TMC
	Concrete Mathematics: A Foundation for Computer Science [My Copy] (1994) by Ronald L. Graham, Donald E. Knuth, Oren Patashnik posted to knuth-bib by jff to the group Foundations-of-Programming on 2006-10-04 13:25:37 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	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 to the group Foundations-of-Programming on 2006-09-26 12:00:29 as along with 3 groups Crypto GraphTheory TMC
	JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing [My Copy] In CCGRID '06: Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID'06) (2006), pp. 301-304. by João F. Ferreira, João L. Sobral, Alberto J. Proenca posted to jff-bib by jff to the group Foundations-of-Programming on 2006-09-26 12:00:15 as along with 3 groups Crypto GraphTheory TMC
	ParC\#: Parallel Computing with C\# in .NET. [My Copy] In PaCT (2005), pp. 239-248. by João F. Ferreira, João L. Sobral posted to jff-bib by jff to the group Foundations-of-Programming on 2006-09-26 12:00:15 as along with 3 groups Crypto GraphTheory TMC
	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 jff-bib by jff to the group Foundations-of-Programming on 2006-09-26 12:00:15 as along with 3 groups Crypto GraphTheory TMC
	Coxeter's rabbit [My Copy] (April 2002) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	From van IJzeren's correspondence to my aunt & uncle [My Copy] (January 2002) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Philips and I: a few snapshots [My Copy] (December 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Indirect equality enriched (and a proof by Netty) [My Copy] (2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The GCD and the minimum [My Copy] (November 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	On disjoint binary numbers [My Copy] (November 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Another look at a problem from Hugo Steinhaus [My Copy] (October 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Three trip reports rolled into one: 2001.04.16 -- 2001.07.06 [My Copy] (September 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Zuckerman's problem and the ETAC [My Copy] (June 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	What led to “Notes on Structured Programming“ [My Copy] (June 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	An unavoidable case analysis [My Copy] (March 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The chessboard covered with dominoes [My Copy] (February 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Answers to questions from students of Software Engineering [My Copy] (November 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The end of computing science? [My Copy] Comm. ACM, Vol. 44, No. 3. (November 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	My recollections of operating system design [My Copy] (April 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Once more bichrome triangles in complete graphs [My Copy] (October 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The river, the isles and the bridges [My Copy] (July 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The notational conventions I adopted, and why [My Copy] (July 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	On defining sets, suprema, and infima [My Copy] (May 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	Under the spell of Leibniz's Dream [My Copy] (April 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	Triggered by a high-school exercise [My Copy] (March 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	On weighted means, geometric and arithmetic [My Copy] (February 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	On weighted means, geometric and arithmetic [My Copy] (February 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	On the transitive closure of a wellfounded relation [My Copy] In The School of Niklaus Wirth: The Art of Simplicity (2000), pp. 31-38. by Edsger W. Dijkstra edited by Lã¡szlã³ Bã¶szã¶rmã©nyi, Jã¼rg Gutknecht, Gustav Pomberger posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	On the transitive closure of a wellfounded relation [My Copy] (January 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Designing a calculational proof of Cantor's theorem [My Copy] Am. Math. Monthly, Vol. 108, No. 5. (2001), pp. 440-443. by Edsger W. Dijkstra, Jayadev Misra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	Designing a calculational proof of Cantor's theorem [My Copy] (2000) by Edsger W. Dijkstra, Jayadev Misra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC

Note: You may cite this page as: http://www.citeulike.org/group/1602/order/to_read

Result page: 1 2 3 4 5 6 7 8 9 10 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

ewd-bib	1262
calculational	11
jff-bib	11
math-bib	9
algorithms	8
calculational-bib	7
rcb-bib	5
number-theory	5
mathematical-methodology	4
book	3
computability	3
construction	3
correctness	3
ordinals	3
knuth-bib	2
rational-number	2
stern-brocot	2
problem-solving	2
algorithm-derivation	2
greatest-common-divisor	2
proof	2
general-bib	2
euclidean-algorithm	2
invariant	2
brocot	1
moessner	1
education	1
fixed-point	1
mathis	1
generating-functions	1
epigram	1
enumeration	1
eisenstein	1
taocp	1
gauss	1
turing	1
haskell	1
calkin-wilf	1
afm-bib	1
urm	1
games	1

Group: Foundations-of-Programming - library 1300 articles Export Sort

Group Tags