dblp.uni-trier.dewww.uni-trier.de

William M. Farmer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
34EEJacques Carette, William M. Farmer: A Review of Mathematical Knowledge Management. Calculemus/MKM 2009: 233-246
33EEWilliam M. Farmer, Orlin G. Grigorov: Panoptes: An Exploration Tool for Formal Proofs. Electr. Notes Theor. Comput. Sci. 226: 39-48 (2009)
2008
32EEJacques Carette, William M. Farmer: High-Level Theories. AISC/MKM/Calculemus 2008: 232-245
31EEWilliam M. Farmer: The seven virtues of simple type theory. J. Applied Logic 6(3): 267-286 (2008)
2007
30EEJacques Carette, William M. Farmer, Volker Sorge: A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26
29EEWilliam 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
27EEWilliam M. Farmer: IMPS. The Seventeen Provers of the World 2006: 72-87
26EEJacques Carette, William M. Farmer: Preface. Electr. Notes Theor. Comput. Sci. 151(1): 1-2 (2006)
2004
25EEWilliam 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
22EEWilliam 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
19EEWilliam M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Updated System Description. CADE 1996: 298-302
18EEWilliam M. Farmer, Joshua D. Guttman, Vipin Swarup: Security for Mobile Agents: Authentication and State Appraisal. ESORICS 1996: 118-130
17EEWilliam 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
15EEWilliam M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer: Proof Script Pragmatics in IMPS. CADE 1994: 356-370
1993
14EEWilliam 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
10EEWilliam M. Farmer, Joshua D. Guttman, F. Javier Thayer: Little Theories. CADE 1992: 567-581
9EEWilliam 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
7EEWilliam 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
4EEWilliam M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Interactive Mathematical Proof System. CADE 1990: 653-654
3EEWilliam 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

1Jonathan M. Borwein [28]
2Jacques Carette [26] [30] [32] [34]
3Richard F. Freund [17]
4Mark Furtney [17]
5Orlin G. Grigorov [33]
6Joshua D. Guttman [4] [9] [10] [11] [14] [15] [16] [18] [19] [21]
7Paul Messina [17]
8Martin von Mohrenschildt [24]
9Mark E. Nadel [15]
10Lionel M. Ni [17]
11John D. Ramsdell [3]
12Charles L. Seitz [17]
13Marc Snir [17]
14Volker Sorge [30]
15Vipin Swarup [18]
16F. Javier Thayer [4] [9] [10] [11] [14] [15] [16] [19]
17Ronald J. Watro [2] [3] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)