Robert K. Meyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1986–2000
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ICALP | What Entailment Can do for Type Theory. | Robert K. Meyer |
| 1998 | CSL | Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.". | Jacques Riche, Robert K. Meyer |
| 1997 | ECSQARU | Logic for Two: The Semantics of Distributive Substructural Logics. | John K. Slaney, Robert K. Meyer |
| 1995 | TABLEAUX | Linear Analytic Tableaux. | Robert K. Meyer, Michael A. McRobbie, Nuel Belnap |
| 1988 | CADE | Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. | Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite |
| 1986 | CADE | The KRIPKE Automated Theorem Proving System. | Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer |