关注
William M. Farmer
William M. Farmer
Professor of Computer Science and Software Engineering, McMaster University
在 mcmaster.ca 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
3881996
IMPS: An interactive mathematical proof system
WM Farmer, JD Guttman, FJ Thayer
Journal of Automated Reasoning 11, 213-248, 1993
3041993
Little theories
WM Farmer, JD Guttman, F Javier Thayer
Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992
1931992
A partial functions version of Church's simple theory of types
WM Farmer
The Journal of Symbolic Logic 55 (3), 1269-1291, 1990
1791990
The seven virtues of simple type theory
WM Farmer
Journal of Applied Logic 6 (3), 267-286, 2008
1132008
A unification algorithm for second-order monadic terms
WM Farmer
Annals of Pure and applied Logic 39 (2), 131-174, 1988
921988
Simple second-order languages for which unification is undecidable
WM Farmer
Theoretical Computer Science 87 (1), 25-41, 1991
811991
Theory interpretation in simple type theory
WM Farmer
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993
781993
A simple type theory with partial functions and subtypes
WM Farmer
Annals of Pure and Applied Logic 64 (3), 211-240, 1993
651993
Redex capturing in term graph rewriting.
WM Farmer, RJ Watro
INT. J. FOUND. COMP. SCI. 1 (4), 369-386, 1990
59*1990
Formalizing undefinedness arising in calculus
WM Farmer
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004
382004
A set theory with support for partial functions
WM Farmer, JD Guttman
Studia Logica 66, 59-78, 2000
372000
MKM: a new interdisciplinary field of research
WM Farmer
ACM SIGSAM Bulletin 38 (2), 47-52, 2004
362004
An infrastructure for intertheory reasoning
WM Farmer
International Conference on Automated Deduction, 115-131, 2000
362000
Reasoning about partial functions with the aid of a computer
WM Farmer
Erkenntnis 43 (3), 279-294, 1995
35*1995
Big math and the one-brain barrier: The tetrapod model of mathematical knowledge
J Carette, WM Farmer, M Kohlhase, F Rabe
The Mathematical Intelligencer 43, 78-87, 2021
33*2021
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
系统目前无法执行此操作,请稍后再试。
文章 1–20