Search the dblp DataBase
M. Randall Holmes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- M. Randall Holmes
Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2. [Citation Graph (0, 0)][DBLP]
RTA, 1995, pp:432-437 [Conf] - M. Randall Holmes
Untyped lambda-Calculus with Relative Typing. [Citation Graph (0, 0)][DBLP]
TLCA, 1995, pp:235-248 [Conf] - M. Randall Holmes
A Strong and Mechanizable Grand Logic. [Citation Graph (0, 0)][DBLP]
TPHOLs, 2000, pp:283-300 [Conf] - M. Randall Holmes
Systems of Combinatory Logic Related to Quine's `New Foundations'. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 1991, v:53, n:2, pp:103-133 [Journal] - M. Randall Holmes
Systems of Combinatory Logic Related to Predicative and `Mildly Impredicative' Fragments of Quine's `New Foundations'. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 1993, v:59, n:1, pp:45-53 [Journal] - M. Randall Holmes
Polymorphic type checking for the ramified theory of types of Principia Mathematica. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal] - M. Randall Holmes, Jim Alves-Foss
The Watson Theorem Prover. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2001, v:26, n:4, pp:357-408 [Journal] - M. Randall Holmes
Strong Axioms of Infinity in NFU. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 2001, v:66, n:1, pp:87-116 [Journal] - M. Randall Holmes
The Equivalence of NF-Style Set Theories with ``Tangled'' Type Theories; The Construction of omega-Models of Predicative NF (and More). [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1995, v:60, n:1, pp:178-190 [Journal] - M. Randall Holmes
Subsystems of Quine's "New Foundations" with Predicativity Restrictions. [Citation Graph (0, 0)][DBLP]
Notre Dame Journal of Formal Logic, 1999, v:40, n:2, pp:183-196 [Journal] - M. Randall Holmes
Karel Lambert, Free Logic: Selected Essays. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2003, v:75, n:3, pp:413-419 [Journal] - M. Randall Holmes
Paradoxes in Double Extension Set Theories. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2004, v:77, n:1, pp:41-57 [Journal] - M. Randall Holmes
The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2005, v:79, n:3, pp:357-372 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002