Följ
William M. Farmer
William M. Farmer
Professor of Computer Science and Software Engineering, McMaster University
Verifierad e-postadress på mcmaster.ca - Startsida
Titel
Citeras av
Citeras av
År
Security for mobile agents: Authentication and state appraisal
WM Farmer, JD Guttman, V Swarup
Computer Security—ESORICS 96: 4th European Symposium on Research in …, 1996
4291996
Security for mobile agents: Issues and requirements
WM Farmer, JD Guttman, V Swarup
Proceedings of the 19th national information systems security conference 2 …, 1996
3891996
IMPS: An interactive mathematical proof system
WM Farmer, JD Guttman, FJ Thayer
Journal of Automated Reasoning 11, 213-248, 1993
3031993
Little theories
WM Farmer, JD Guttman, F Javier Thayer
Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992
1911992
A partial functions version of Church's simple theory of types
WM Farmer
The Journal of Symbolic Logic 55 (3), 1269-1291, 1990
1751990
The seven virtues of simple type theory
WM Farmer
Journal of Applied Logic 6 (3), 267-286, 2008
1072008
A unification algorithm for second-order monadic terms
WM Farmer
Annals of Pure and applied Logic 39 (2), 131-174, 1988
891988
Simple second-order languages for which unification is undecidable
WM Farmer
Theoretical Computer Science 87 (1), 25-41, 1991
791991
Theory interpretation in simple type theory
WM Farmer
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993
771993
A simple type theory with partial functions and subtypes
WM Farmer
Annals of Pure and Applied Logic 64 (3), 211-240, 1993
631993
Redex capturing in term graph rewriting.
WM Farmer, RJ Watro
INT. J. FOUND. COMP. SCI. 1 (4), 369-386, 1990
61*1990
Formalizing undefinedness arising in calculus
WM Farmer
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004
372004
A set theory with support for partial functions
WM Farmer, JD Guttman
Studia Logica 66, 59-78, 2000
362000
MKM: a new interdisciplinary field of research
WM Farmer
ACM SIGSAM Bulletin 38 (2), 47-52, 2004
352004
An infrastructure for intertheory reasoning
WM Farmer
International Conference on Automated Deduction, 115-131, 2000
352000
Reasoning about partial functions with the aid of a computer
WM Farmer
Erkenntnis 43 (3), 279-294, 1995
34*1995
The IMPS user’s manual
WM Farmer, JD Guttman, FJ Thayer
The MITRE Corporation, 1993
331993
A review of mathematical knowledge management
J Carette, WM Farmer
International Conference on Intelligent Computer Mathematics, 233-246, 2009
322009
A unification-theoretic method for investigating the k-provability problem
WM Farmer
Annals of Pure and Applied Logic 51 (3), 173-214, 1991
311991
An overview of a formal framework for managing mathematics
WM Farmer, MV Mohrenschildt
Annals of Mathematics and Artificial Intelligence 38 (1), 165-191, 2003
30*2003
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20