Group: Foundations-of-Programming - library [1296 articles]
Recent papers posted by members of the Foundations-of-Programming group
(February 2008)
(2007)
(July 2007)
(2006)
(2008)
The American Mathematical Monthly, Vol. 73, No. 8. (1966), pp. 846-851.
The American Mathematical Monthly, Vol. 63, No. 10. (1956), pp. 689-697.
(2007)
The American Mathematical Monthly, Vol. 107, No. 4. (2000), pp. 360-363.
(2006)
Inf. Process. Lett., Vol. 53, No. 3. (10 February 1995)
Mathematics of Program Construction (2006), pp. 69-81.
(1996)
(1997)
(2006)
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
(2006), pp. 1-1.
(1994)
(July 2005)
(2006), pp. 301-304.
(2005), pp. 239-248.
(July 2005)
(April 2002)
(January 2002)
(December 2001)
(2001)
(November 2001)
(November 2001)
(October 2001)
(September 2001)
(June 2001)
(June 2001)
(March 2001)
(February 2001)
(November 2000)
Comm. ACM, Vol. 44, No. 3. (November 2000)
(April 2001)
(October 2000)
(July 2000)
(July 2000)
(May 2000)
(April 2000)
(March 2000)
(February 2000)
(February 2000)
(2000), pp. 31-38.
(January 2000)
Am. Math. Monthly, Vol. 108, No. 5. (2001), pp. 440-443.
Note: You may cite this page as: http://www.citeulike.org/group/1602
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.
