William M. Farmer
William M. Farmer
Professor of Computer Science and Software Engineering, McMaster University
Verified email at mcmaster.ca - Homepage
Title
Cited by
Cited by
Year
Security for mobile agents: Authentication and state appraisal
WM Farmer, JD Guttman, V Swarup
European Symposium on Research in Computer Security, 118-130, 1996
4051996
Security for mobile agents: Issues and requirements
WM Farmer, JD Guttman, V Swarup
Proceedings of the 19th national information systems security conference 2 …, 1996
3821996
IMPS: An interactive mathematical proof system
WM Farmer, JD Guttman, FJ Thayer
Journal of Automated Reasoning 11 (2), 213-248, 1993
2881993
Little theories
WM Farmer, JD Guttman, FJ Thayer
International Conference on Automated Deduction, 567-581, 1992
1761992
A partial functions version of Church's simple theory of types
WM Farmer
Journal of Symbolic Logic, 1269-1291, 1990
1521990
A unification algorithm for second-order monadic terms
WM Farmer
Annals of Pure and applied Logic 39 (2), 131-174, 1988
871988
The seven virtues of simple type theory
WM Farmer
Journal of Applied Logic 6 (3), 267-286, 2008
782008
Simple second-order languages for which unification is undecidable
WM Farmer
Theoretical Computer Science 87 (1), 25-41, 1991
781991
Theory interpretation in simple type theory
WM Farmer
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993
711993
Redex capturing in term graph rewriting.
WM Farmer, RJ Watro
INT. J. FOUND. COMP. SCI. 1 (4), 369-386, 1990
58*1990
A simple type theory with partial functions and subtypes
WM Farmer
Annals of Pure and Applied Logic 64 (3), 211-240, 1993
551993
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
35*1995
MKM: a new interdisciplinary field of research
WM Farmer
ACM SIGSAM Bulletin 38 (2), 47-52, 2004
332004
A set theory with support for partial functions
WM Farmer, JD Guttman
Studia Logica 66 (1), 59-78, 2000
332000
The IMPS user’s manual
WM Farmer, JD Guttman, FJ Thayer
The MITRE Corporation, 1993
301993
IMPS: An updated system description
WM Farmer, JD Guttman, FJT Fábrega
Automated Deduction—CADE-13, 298-302, 1996
281996
A correctness proof for combinator reduction with cycles
WM Farmer, JD Ramsdell, RJ Watro
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (1), 123-134, 1990
281990
An overview of a formal framework for managing mathematics
WM Farmer, MV Mohrenschildt
Annals of Mathematics and Artificial Intelligence 38 (1), 165-191, 2003
27*2003
A unification-theoretic method for investigating the k-provability problem
WM Farmer
Annals of Pure and Applied Logic 51 (3), 173-214, 1991
271991
The system can't perform the operation now. Try again later.
Articles 1–20