Gopalan Nadathur

	2012
53		David Baelde, Gopalan Nadathur: Combining Deduction Modulo and Logics of Fixed-Point Definitions CoRR abs/1204.6236: (2012)
	2011
52		Herman Geuvers, Gopalan Nadathur: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice LFMTP 2011
51		Andrew Gacek, Dale Miller, Gopalan Nadathur: Nominal abstraction. Inf. Comput. 209(1): 48-73 (2011)
	2010
50		Zachary Snow, David Baelde, Gopalan Nadathur: A meta-programming approach to realizing dependently typed logic programming. PPDP 2010: 187-198
49		Zachary Snow, David Baelde, Gopalan Nadathur: A Meta-Programming Approach to Realizing Dependently Typed Logic Programming CoRR abs/1005.4379: (2010)
48		Zachary Snow, David Baelde, Gopalan Nadathur: Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search CoRR abs/1007.0779: (2010)
	2009
47		Andrew Gacek, Dale Miller, Gopalan Nadathur: Nominal Abstraction CoRR abs/0908.1390: (2009)
46		Andrew Gacek, Dale Miller, Gopalan Nadathur: A two-level logic approach to reasoning about computations CoRR abs/0911.2993: (2009)
45		Andrew Gacek, Dale Miller, Gopalan Nadathur: Reasoning in Abella about Structural Operational Semantics Specifications. Electr. Notes Theor. Comput. Sci. 228: 85-100 (2009)
	2008
44		Andrew Gacek, Dale Miller, Gopalan Nadathur: Combining Generic Judgments with Recursive Definitions. LICS 2008: 33-44
43		Andrew Gacek, Dale Miller, Gopalan Nadathur: Combining generic judgments with recursive definitions CoRR abs/0802.0865: (2008)
42		Andrew Gacek, Dale Miller, Gopalan Nadathur: Reasoning in Abella about Structural Operational Semantics Specifications CoRR abs/0804.3914: (2008)
	2007
41		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397
40		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions CoRR abs/cs/0702116: (2007)
39		Andrew Gacek, Gopalan Nadathur: A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi CoRR abs/cs/0702152: (2007)
	2005
38		Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat: Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. FSTTCS 2005: 517-528
37		Gopalan Nadathur, Natalie Linnell: Practical Higher-Order Pattern Unification with On-the-Fly Raising. ICLP 2005: 371-386
36		Gopalan Nadathur, Xiaochu Qi: Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. LPAR 2005: 110-124
35		Gopalan Nadathur: A treatment of higher-order features in logic programming. TPLP 5(3): 305-354 (2005)
	2004
34		Gopalan Nadathur: A treatment of higher-order features in logic programming CoRR cs.PL/0404020: (2004)
33		Chuck Liang, Gopalan Nadathur, Xiaochu Qi: Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. J. Autom. Reasoning 33(2): 89-132 (2004)
	2003
32		Gopalan Nadathur, Xiaochu Qi: Explicit substitutions in the reduction of lambda terms. PPDP 2003: 195-206
	2002
31		Chuck Liang, Gopalan Nadathur: Tradeoffs in the Intensional Representation of Lambda Terms. RTA 2002: 192-206
30		Gopalan Nadathur: The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. Electr. Notes Theor. Comput. Sci. 67: 35-48 (2002)
	2001
29		Gopalan Nadathur: The Metalanguage lambda-Prolog and Its Implementation. FLOPS 2001: 1-20
	2000
28		Gopalan Nadathur: Correspondences between classical, intuitionistic and uniform provability. Theor. Comput. Sci. 232(1-2): 273-298 (2000)
	1999
27		Gopalan Nadathur: Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings Springer 1999
26		Gopalan Nadathur, Dustin J. Mitchell: System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda-Prolog. CADE 1999: 287-291
25		Gopalan Nadathur: A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations. Journal of Functional and Logic Programming 1999(2): (1999)
24		Gopalan Nadathur, Guanshan Tong: Realizing Modularity in lambdaProlog. Journal of Functional and Logic Programming 1999(Special Issue 1): (1999)
	1998
23		Gopalan Nadathur: Uniform Provability in Classical Logic CoRR cs.LO/9809014: (1998)
22		Gopalan Nadathur: Correspondences between Classical, Intuitionistic and Uniform Provability CoRR cs.LO/9809015: (1998)
21		Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon: Scoping Constructs in Logic Programming: Implementation Problems and their Solution CoRR cs.PL/9809016: (1998)
20		Gopalan Nadathur: Uniform Provability in Classical Logic. J. Log. Comput. 8(2): 209-229 (1998)
19		Gopalan Nadathur, Debra Sue Wilson: A Notation for Lambda Terms: A Generalization of Environments. Theor. Comput. Sci. 198(1-2): 49-98 (1998)
	1995
18		Gopalan Nadathur, Donald W. Loveland: Uniform Proofs and Disjunctive Logic Programming (Extended Abstract) LICS 1995: 148-155
17		Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon: Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. J. Log. Program. 25(2): 119-161 (1995)
	1994
16		Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson: Implementing Polymorphic Typing in a Logic Programming Language. Comput. Lang. 20(1): 25-42 (1994)
	1993
15		Gopalan Nadathur: A Proof Procedure for the Logic of Hereditary Harrop Formulas. J. Autom. Reasoning 11(1): 115-145 (1993)
	1992
14		Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson: Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. ELP 1992: 359-393
13		Gopalan Nadathur, Frank Pfenning: The Type System of a Higher-Order Logic Programming Language. Types in Logic Programming 1992: 245-283
	1991
12		Bharat Jayaraman, Gopalan Nadathur: Implementation Techniques for Scoping Constructs in Logic Programming. ICLP 1991: 871-886
11		Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov: Uniform Proofs as a Foundation for Logic Programming. Ann. Pure Appl. Logic 51(1-2): 125-157 (1991)
	1990
10		Gopalan Nadathur, Debra Sue Wilson: A Representation of Lambda Terms Suitable for Operations on Their Intensions. LISP and Functional Programming 1990: 341-348
9		Gopalan Nadathur, Dale Miller: Higher-Order Horn Clauses J. ACM 37(4): 777-814 (1990)
	1989
8		Gopalan Nadathur, Bharat Jayaraman: Towards a WAM Model for Lambda-Prolog. NACLP 1989: 1180-1198
	1988
7		Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov: Lambda-Prolog: An Extended Logic Programming Language. CADE 1988: 754-755
6		Gopalan Nadathur, Dale Miller: An Overview of Lambda-PROLOG. ICLP/SLP 1988: 810-827
	1987
5		Dale Miller, Gopalan Nadathur, Andre Scedrov: Hereditary Harrop Formulas and Uniform Proof Systems LICS 1987: 98-105
4		Dale Miller, Gopalan Nadathur: A Logic Programming Approach to Manipulating Formulas and Programs. SLP 1987: 379-388
	1986
3		Dale Miller, Gopalan Nadathur: Some Uses of Higher-Order Logic in Computational Linguistics. ACL 1986: 247-256
2		Dale Miller, Gopalan Nadathur: Higher-Order Logic Programming. ICLP 1986: 448-462
	1983
1		Gopalan Nadathur, Aravind K. Joshi: Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions. IJCAI 1983: 603-605

Coauthor Index

1	David Baelde	[40] [41] [48] [49] [50] [53]
2	Amy P. Felty	[7]
3	Andrew Gacek	[39] [40] [41] [42] [43] [44] [45] [46] [47] [51]
4	Herman Geuvers	[52]
5	Elsa L. Gunter	[7]
6	John Hannan	[7]
7	Radha Jagadeesan	[38]
8	Bharat Jayaraman	[8] [12] [17] [21]
9	Aravind K. Joshi	[1]
10	Keehang Kwon	[14] [16] [17] [21]
11	Chuck Liang	[31] [33]
12	Natalie Linnell	[37]
13	Donald W. Loveland	[18]
14	Dale Miller	[2] [3] [4] [5] [6] [7] [9] [11] [40] [41] [42] [43] [44] [45] [46] [47] [51]
15	Dustin J. Mitchell	[26]
16	Frank Pfenning	[11] [13]
17	Xiaochu Qi	[32] [33] [36]
18	Vijay A. Saraswat	[38]
19	Andre Scedrov	[5] [7] [11]
20	Zachary Snow	[48] [49] [50]
21	Alwen Tiu (Alwen Fernanto Tiu)	[40] [41]
22	Guanshan Tong	[24]
23	Debra Sue Wilson	[10] [14] [16] [19]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page