The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

M. Randall Holmes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. M. Randall Holmes
    Untyped lambda-Calculus with Relative Typing. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:235-248 [Conf]
  3. M. Randall Holmes
    A Strong and Mechanizable Grand Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:283-300 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002