The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert K. Meyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
    Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:197-217 [Conf]
  2. Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
    The KRIPKE Automated Theorem Proving System. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:705-706 [Conf]
  3. Jaques Riche, Robert K. Meyer
    Belnap, Urquhart and Relevant Decidability & Complexity. ``Das ist nicht Mathematik, das ist Theologie.''. [Citation Graph (0, 0)][DBLP]
    CSL, 1998, pp:224-240 [Conf]
  4. Robert K. Meyer
    What Entailment Can do for Type Theory. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:355-356 [Conf]
  5. Hajime Sawamura, Yuichi Umeda, Robert K. Meyer
    Computational Dialectics for Argument-Based Agent Systems. [Citation Graph (0, 0)][DBLP]
    ICMAS, 2000, pp:271-278 [Conf]
  6. Robert K. Meyer, Michael A. McRobbie, Nuel Belnap
    Linear Analytic Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:278-293 [Conf]
  7. Robert K. Meyer
    Ternary relations and relevant semantics. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:195-217 [Journal]
  8. J. Michael Dunn, Robert K. Meyer
    Combinators and Structurally Free Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:4, pp:- [Journal]
  9. Robert K. Meyer, Martin W. Bunder, Lawrence Powers
    Implementing the `Fool's Model' of Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:4, pp:597-630 [Journal]
  10. Martin W. Bunder, Robert K. Meyer
    On the Inconsistency of Systems Similar to F * 21. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:1, pp:1-2 [Journal]
  11. Harvey Friedman, Robert K. Meyer
    Whither Relevant Arithmetic? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:824-831 [Journal]
  12. Steve Giambrone, Robert K. Meyer, Alasdair Urquhart
    A Contractionless Semilattice Semantics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:2, pp:526-529 [Journal]
  13. E. P. Martin, Robert K. Meyer
    Solution to the P-W Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:4, pp:869-887 [Journal]
  14. Storrs McCall, Robert K. Meyer
    Pure Three-Valued Lukasiewiczian Implication. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:3, pp:399-405 [Journal]
  15. Robert K. Meyer
    Pure Denumerable Lukasiewiczian Implication. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:4, pp:575-580 [Journal]
  16. Robert K. Meyer, J. Michael Dunn
    E, R, and gama. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:3, pp:460-474 [Journal]
  17. Robert K. Meyer, Karel Lambert
    Universally Free Logic and Standard Quantification Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:8-26 [Journal]
  18. Robert K. Meyer, Chris Mortensen
    Inconsistent Models for Relevant Arithmetics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:917-929 [Journal]
  19. Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama
    The Semantics of Entailment Omega. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 2002, v:43, n:3, pp:129-145 [Journal]
  20. Edwin D. Mares, Robert K. Meyer
    The Admissibility of Gama in R4. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:197-206 [Journal]
  21. John K. Stanley, Robert K. Meyer
    A Structurally Complete Fragment of Relevant Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:561-566 [Journal]
  22. Robert K. Meyer, H. Ono
    The finite model property for BCK arid BCIW. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:1, pp:107-118 [Journal]
  23. Robert K. Meyer
    The Better Bubbling Lemma. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:3, pp:77-84 [Journal]
  24. Lloyd Humberstone, Robert K. Meyer
    The Relevant Equivalence Property. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2007, v:15, n:2, pp:165-181 [Journal]

Search in 0.045secs, Finished in 0.046secs
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