The SCEAS System
| |||||||

## 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.020secs, Finished in 0.022secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |