R. Gregory Taylor

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2008
j6		R. Gregory Taylor: Symmetric Propositions and Logical Quantifiers. J. Philosophical Logic 37(6): 575-591 (2008)
	2004
j5		R. Gregory Taylor: Review of "Boolean Functions and Computation Models by Peter Clote and Evangelos Kranakis", Springer-Verlag, 2002. SIGACT News 35(4): 5-11 (2004)
	2002
j4		R. Gregory Taylor: Zermelo's Cantorian theory of systems of infinitely long propositions. Bulletin of Symbolic Logic 8(3): 478-515 (2002)
j3		R. Gregory Taylor: Modern computer algebra. SIGACT News 33(3): 7-16 (2002)
j2		R. Gregory Taylor: LL parsing, LR parsing, complexity, and automata. SIGCSE Bulletin 34(4): 71-75 (2002)
	1998
c1		R. Gregory Taylor: Motivating the Church-Turing thesis in the twenty-first century. ITiCSE 1998: 228-231
	1993
j1		R. Gregory Taylor: Zermelo, reductionism, and the philosophy of mathematics. Notre Dame Journal of Formal Logic 34(4): 539-563 (1993)

Last update Thu May 23 22:57:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page