The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Alan Robinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John Alan Robinson
    A Machine-Oriented Logic Based on the Resolution Principle. [Citation Graph (32, 0)][DBLP]
    J. ACM, 1965, v:12, n:1, pp:23-41 [Journal]
  2. John Alan Robinson
    Is Logic Programming Enough? [Citation Graph (1, 0)][DBLP]
    DS-2, 1986, pp:307-319 [Conf]
  3. John Alan Robinson
    Logic Programming - Past, Present and Future. [Citation Graph (1, 0)][DBLP]
    New Generation Comput., 1983, v:1, n:2, pp:107-124 [Journal]
  4. John Alan Robinson
    Proof = Guarantee + Explanation. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:277-294 [Conf]
  5. John Alan Robinson
    Formal and Informal Proofs. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:267-282 [Conf]
  6. John Alan Robinson
    Computational Logic: Memories of the Past and Challenges for the Future. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1-24 [Conf]
  7. John Alan Robinson
    The Role of Logic in Computer Science and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:199-210 [Conf]
  8. John Alan Robinson
    New directions in mechanical theorem proving. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1968, pp:63-69 [Conf]
  9. John Alan Robinson
    The Future of Logic Programming (Invited Paper). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:219-224 [Conf]
  10. John Alan Robinson, Tomas P. Flores
    Novel Techniques for Visualizing Biological Information. [Citation Graph (0, 0)][DBLP]
    ISMB, 1997, pp:241-249 [Conf]
  11. John Alan Robinson
    Unification and resolution in retrospect. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:241-0 [Conf]
  12. John Alan Robinson
    Informal Rigor and Mathematical Understanding. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:54-64 [Conf]
  13. John Alan Robinson
    Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:2- [Conf]
  14. John Alan Robinson
    Logic, Computers, Turing, and von Neumann. [Citation Graph (0, 0)][DBLP]
    Machine Intelligence 13, 1994, pp:1-35 [Conf]
  15. John Alan Robinson, Jonas Barklund
    Vesper. [Citation Graph (0, 0)][DBLP]
    Machine Intelligence 15, 1995, pp:360-377 [Conf]
  16. John Alan Robinson
    Logic and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1992, v:35, n:3, pp:40-65 [Journal]
  17. John Alan Robinson
    Theorem-Proving on the Computer. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1963, v:10, n:2, pp:163-174 [Journal]
  18. John Alan Robinson
    Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1984, v:1, n:1, pp:1-2 [Journal]
  19. John Alan Robinson
    Introduction: 10th Birthday Special Issue of The Journal of Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:5-8 [Journal]
  20. John Alan Robinson, Norman M. Martin
    Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1967, v:32, n:3, pp:430- [Journal]
  21. John Alan Robinson
    Invited editorial. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:1, pp:1- [Journal]

Search in 0.070secs, Finished in 0.071secs
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