M. Randall Holmes Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: The Usual Model Construction for NFU Preserves Information. Notre Dame Journal of Formal Logic 53(4): 571-580 (2012)
2008
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'. Studia Logica 88(2): 195-213 (2008)
2005
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory. Studia Logica 79(3): 357-372 (2005)
2004
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Paradoxes in Double Extension Set Theories. Studia Logica 77(1): 41-57 (2004)
2003
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Polymorphic type checking for the ramified theory of types of Principia Mathematica. Electr. Notes Theor. Comput. Sci. 85(7): 125-145 (2003)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Karel Lambert, Free Logic: Selected Essays. Studia Logica 75(3): 413-419 (2003)
2001
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes, Jim Alves-Foss: The Watson Theorem Prover. J. Autom. Reasoning 26(4): 357-408 (2001)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Strong Axioms of Infinity in NFU. J. Symb. Log. 66(1): 87-116 (2001)
2000
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: A Strong and Mechanizable Grand Logic. TPHOLs 2000: 283-300
1999
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Subsystems of Quine's "New Foundations" with Predicativity Restrictions. Notre Dame Journal of Formal Logic 40(2): 183-196 (1999)
1995
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: The Equivalence of NF-Style Set Theories with ``Tangled'' Type Theories; The Construction of omega-Models of Predicative NF (and More). J. Symb. Log. 60(1): 178-190 (1995)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2. RTA 1995: 432-437
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Untyped lambda-Calculus with Relative Typing. TLCA 1995: 235-248
1993
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Systems of Combinatory Logic Related to Predicative and `Mildly Impredicative' Fragments of Quine's `New Foundations'. Ann. Pure Appl. Logic 59(1): 45-53 (1993)
1991
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Randall Holmes: Systems of Combinatory Logic Related to Quine's `New Foundations'. Ann. Pure Appl. Logic 53(2): 103-133 (1991)

Coauthor Index

1Jim Alves-Foss
[j6]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 13:30:51 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page