The SCEAS System
Navigation Menu

Search the dblp DataBase


Jonathan C. Martin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan C. Martin, Michael Leuschel
    Sonic Partial Deduction. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:101-112 [Conf]
  2. Jonathan C. Martin, Andy King
    On the Inference of Natural Level Mappings. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:432-452 [Conf]
  3. Jonathan C. Martin, Andy King, Paul Soper
    Typed Norms for Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:224-238 [Conf]
  4. Jonathan C. Martin, Andy King
    Generating Efficient, Terminating Logic Programs. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:273-284 [Conf]
  5. Andy King, Jonathan C. Martin
    Control Generation by Program Transformation. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:69, n:1-2, pp:179-218 [Journal]

Search in 0.001secs, Finished in 0.001secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002