William M. Farmer

	2011
37		James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe: Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings Springer 2011
36		Jacques Carette, William M. Farmer, Russell O'Connor: MathScheme: Project Description. Calculemus/MKM 2011: 287-288
35		Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran: The MathScheme Library: Some Preliminary Experiments CoRR abs/1106.1862: (2011)
	2009
34		Jacques Carette, William M. Farmer: A Review of Mathematical Knowledge Management. Calculemus/MKM 2009: 233-246
33		William M. Farmer, Orlin G. Grigorov: Panoptes: An Exploration Tool for Formal Proofs. Electr. Notes Theor. Comput. Sci. 226: 39-48 (2009)
	2008
32		Jacques Carette, William M. Farmer: High-Level Theories. AISC/MKM/Calculemus 2008: 232-245
31		William M. Farmer: The seven virtues of simple type theory. J. Applied Logic 6(3): 267-286 (2008)
	2007
30		Jacques Carette, William M. Farmer, Volker Sorge: A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26
29		William M. Farmer: Biform Theories in Chiron. Calculemus/MKM 2007: 66-79
	2006
28		Jonathan M. Borwein, William M. Farmer: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings Springer 2006
27		William M. Farmer: IMPS. The Seventeen Provers of the World 2006: 72-87
26		Jacques Carette, William M. Farmer: Preface. Electr. Notes Theor. Comput. Sci. 151(1): 1-2 (2006)
	2004
25		William M. Farmer: Formalizing Undefinedness Arising in Calculus. IJCAR 2004: 475-489
	2003
24		William M. Farmer, Martin von Mohrenschildt: An Overview of a Formal Framework for Managing Mathematics. Ann. Math. Artif. Intell. 38(1-3): 165-191 (2003)
	2001
23		William M. Farmer: STMM: A Set Theory for Mechanized Mathematics. J. Autom. Reasoning 26(3): 269-289 (2001)
	2000
22		William M. Farmer: An Infrastructure for Intertheory Reasoning. CADE 2000: 115-131
21		William M. Farmer, Joshua D. Guttman: A Set Theory with Support for Partial Functions. Studia Logica 66(1): 59-78 (2000)
	1999
20		William M. Farmer: A Scheme for Defining Partial Higher-Order Functions by Recursion. IWFM 1999
	1996
19		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Updated System Description. CADE 1996: 298-302
18		William M. Farmer, Joshua D. Guttman, Vipin Swarup: Security for Mobile Agents: Authentication and State Appraisal. ESORICS 1996: 118-130
17		William M. Farmer, Richard F. Freund, Mark Furtney, Paul Messina, Lionel M. Ni, Charles L. Seitz, Marc Snir: For a Massive Number of Massively Parallel Machines: What are the Target Applications, Who are the Target Users, and What New R&D is Needed to Hit the Target? IPPS 1996: 631-634
	1995
16		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: Context in Mathematical Reasoning and Computation. J. Symb. Comput. 19(1-3): 210-206 (1995)
	1994
15		William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer: Proof Script Pragmatics in IMPS. CADE 1994: 356-370
	1993
14		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: Reasoning with Contexts. DISCO 1993: 216-228
13		William M. Farmer: Theory Interpretation in Simple Type Theory. HOA 1993: 96-123
12		William M. Farmer: A Simple Type Theory with Partial Functions and Subtypes. Ann. Pure Appl. Logic 64(3): 211-240 (1993)
11		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Interactive Mathematical Proof System. J. Autom. Reasoning 11(2): 213-248 (1993)
	1992
10		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: Little Theories. CADE 1992: 567-581
9		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: System Description. CADE 1992: 701-705
8		William M. Farmer: The Kreisel Length-of-Proof Problem. Ann. Math. Artif. Intell. 6(1-3): 27-55 (1992)
	1991
7		William M. Farmer, Ronald J. Watro: Redex Capturing in Term Graph Rewriting (Concise Version). RTA 1991: 13-24
6		William M. Farmer: A Unification-Theoretic Method for Investigating the k-Provability Problem. Ann. Pure Appl. Logic 51(3): 173-214 (1991)
5		William M. Farmer: Simple Second-order Languages for which Unification is Undecidable. Theor. Comput. Sci. 87(1): 25-41 (1991)
	1990
4		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Interactive Mathematical Proof System. CADE 1990: 653-654
3		William M. Farmer, John D. Ramsdell, Ronald J. Watro: A Correctness Proof for Combinator Reduction with Cycles. ACM Trans. Program. Lang. Syst. 12(1): 123-134 (1990)
2		William M. Farmer, Ronald J. Watro: Redex Capturing in Term Graph Rewriting. Int. J. Found. Comput. Sci. 1(4): 369-386 (1990)
1		William M. Farmer: A Partial Functions Version of Church's Simple Theory of Types. J. Symb. Log. 55(3): 1269-1291 (1990)

Coauthor Index

1	Jonathan M. Borwein	[28]
2	Jacques Carette	[26] [30] [32] [34] [35] [36]
3	James H. Davenport (James Harold Davenport)	[37]
4	Richard F. Freund	[17]
5	Mark Furtney	[17]
6	Orlin G. Grigorov	[33]
7	Joshua D. Guttman	[4] [9] [10] [11] [14] [15] [16] [18] [19] [21]
8	Filip Jeremic	[35]
9	Vincent Maccio	[35]
10	Paul Messina	[17]
11	Martin von Mohrenschildt	[24]
12	Mark E. Nadel	[15]
13	Lionel M. Ni	[17]
14	Russell O'Connor	[35] [36]
15	Florian Rabe	[37]
16	John D. Ramsdell	[3]
17	Charles L. Seitz	[17]
18	Marc Snir	[17]
19	Volker Sorge	[30]
20	Vipin Swarup	[18]
21	F. Javier Thayer	[4] [9] [10] [11] [14] [15] [16] [19]
22	Quang M. Tran	[35]
23	Josef Urban	[37]
24	Ronald J. Watro	[2] [3] [7]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page