The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Gopalan Nadathur: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dale Miller, Gopalan Nadathur
    Higher-Order Logic Programming. [Citation Graph (2, 0)][DBLP]
    ICLP, 1986, pp:448-462 [Conf]
  2. Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov
    Uniform Proofs as a Foundation for Logic Programming. [Citation Graph (1, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:51, n:1-2, pp:125-157 [Journal]
  3. Gopalan Nadathur, Dale Miller
    Higher-Order Horn Clauses [Citation Graph (1, 0)][DBLP]
    J. ACM, 1990, v:37, n:4, pp:777-814 [Journal]
  4. Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov
    Lambda-Prolog: An Extended Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:754-755 [Conf]
  5. Gopalan Nadathur, Dustin J. Mitchell
    System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:287-291 [Conf]
  6. Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
    Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:359-393 [Conf]
  7. Gopalan Nadathur
    The Metalanguage lambda-Prolog and Its Implementation. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:1-20 [Conf]
  8. Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat
    Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:517-528 [Conf]
  9. Bharat Jayaraman, Gopalan Nadathur
    Implementation Techniques for Scoping Constructs in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:871-886 [Conf]
  10. Gopalan Nadathur, Natalie Linnell
    Practical Higher-Order Pattern Unification with On-the-Fly Raising. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:371-386 [Conf]
  11. Gopalan Nadathur, Dale Miller
    An Overview of Lambda-PROLOG. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:810-827 [Conf]
  12. Gopalan Nadathur, Aravind K. Joshi
    Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:603-605 [Conf]
  13. Gopalan Nadathur, Debra Sue Wilson
    A Representation of Lambda Terms Suitable for Operations on Their Intensions. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:341-348 [Conf]
  14. Dale Miller, Gopalan Nadathur, Andre Scedrov
    Hereditary Harrop Formulas and Uniform Proof Systems [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:98-105 [Conf]
  15. Gopalan Nadathur, Donald W. Loveland
    Uniform Proofs and Disjunctive Logic Programming (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:148-155 [Conf]
  16. Gopalan Nadathur, Xiaochu Qi
    Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:110-124 [Conf]
  17. Gopalan Nadathur, Xiaochu Qi
    Explicit substitutions in the reduction of lambda terms. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:195-206 [Conf]
  18. Chuck Liang, Gopalan Nadathur
    Tradeoffs in the Intensional Representation of Lambda Terms. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:192-206 [Conf]
  19. Dale Miller, Gopalan Nadathur
    A Logic Programming Approach to Manipulating Formulas and Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:379-388 [Conf]
  20. Gopalan Nadathur, Bharat Jayaraman
    Towards a WAM Model for Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:1180-1198 [Conf]
  21. Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
    Implementing Polymorphic Typing in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1994, v:20, n:1, pp:25-42 [Journal]
  22. Gopalan Nadathur
    Uniform Provability in Classical Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  23. Gopalan Nadathur
    Correspondences between Classical, Intuitionistic and Uniform Provability [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  24. Gopalan Nadathur
    A treatment of higher-order features in logic programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  25. Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
    Scoping Constructs in Logic Programming: Implementation Problems and their Solution [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  26. Gopalan Nadathur
    The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  27. Chuck Liang, Gopalan Nadathur, Xiaochu Qi
    Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:33, n:2, pp:89-132 [Journal]
  28. Gopalan Nadathur
    A Proof Procedure for the Logic of Hereditary Harrop Formulas. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:115-145 [Journal]
  29. Gopalan Nadathur
    A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:2, pp:- [Journal]
  30. Gopalan Nadathur, Guanshan Tong
    Realizing Modularity in lambdaProlog. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 1, pp:- [Journal]
  31. Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
    Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:25, n:2, pp:119-161 [Journal]
  32. Gopalan Nadathur
    Uniform Provability in Classical Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:2, pp:209-229 [Journal]
  33. Gopalan Nadathur
    Correspondences between classical, intuitionistic and uniform provability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:232, n:1-2, pp:273-298 [Journal]
  34. Gopalan Nadathur, Debra Sue Wilson
    A Notation for Lambda Terms: A Generalization of Environments. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:198, n:1-2, pp:49-98 [Journal]
  35. Gopalan Nadathur
    A treatment of higher-order features in logic programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:305-354 [Journal]
  36. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
    The Bedwyr System for Model Checking over Syntactic Expressions. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:391-397 [Conf]
  37. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
    The Bedwyr system for model checking over syntactic expressions [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  38. Andrew Gacek, Gopalan Nadathur
    A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  39. Combining Generic Judgments with Recursive Definitions. [Citation Graph (, )][DBLP]


  40. A meta-programming approach to realizing dependently typed logic programming. [Citation Graph (, )][DBLP]


  41. Combining generic judgments with recursive definitions [Citation Graph (, )][DBLP]


  42. Reasoning in Abella about Structural Operational Semantics Specifications [Citation Graph (, )][DBLP]


  43. Nominal Abstraction [Citation Graph (, )][DBLP]


  44. A two-level logic approach to reasoning about computations [Citation Graph (, )][DBLP]


  45. A Meta-Programming Approach to Realizing Dependently Typed Logic Programming [Citation Graph (, )][DBLP]


  46. Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search [Citation Graph (, )][DBLP]


  47. Reasoning in Abella about Structural Operational Semantics Specifications. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.305secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002