Searching for authors named "Gopalan Nadathur" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
A Treatment of Higher-Order Features in Logic Programming
- …A Treatment of Higher-Order Features in Logic Programming Gopalan Nadathur Department of Computer…
- Cited by 2 (0 self) – Add To MetaCart
-
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations
- … Gopalan Nadathur 1;2 Department of Computer Science and Engineering University of Minnesota Minneapolis…
- Cited by 3 (0 self) – Add To MetaCart
-
An Explicit Substitution Notation in a λProlog Implementation
- …An Explicit Substitution Notation in a Prolog Implementation Gopalan Nadathur Department…
- Cited by 1 (0 self) – Add To MetaCart
-
A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations
- …A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations Gopalan Nadathur…
- Cited by 21 (9 self) – Add To MetaCart
-
A Proof Procedure for the Logic of Hereditary Harrop Formulas
- …CS-1992-17 A Proof Procedure for the Logic of Hereditary Harrop Formulas Gopalan Nadathur…
- Cited by 23 (10 self) – Add To MetaCart
-
An Explicit Substitution Notation in a λProlog Implementation
- …An Explicit Substitution Notation in a Prolog Implementation Gopalan Nadathur Department…
- Add To MetaCart
-
Uniform Provability in Classical Logic
- …Uniform Provability in Classical Logic y Gopalan Nadathur Department of Computer Science…
- Cited by 7 (1 self) – Add To MetaCart
-
Correspondences between Classical, Intuitionistic and Uniform Provability
- …Correspondences between Classical, Intuitionistic and Uniform Provability Gopalan Nadathur…
- Cited by 2 (0 self) – Add To MetaCart
-
A Notation for Lambda Terms II: Refinements and Applications
- …CS-1994-01 A Notation for Lambda Terms II: Refinements and Applications Gopalan Nadathur…
- Cited by 12 (2 self) – Add To MetaCart
-
Practical higher-order pattern unification with on-the-fly raising
- …Practical Higher-Order Pattern Unification With On-the-Fly Raising Gopalan Nadathur and Natalie…
- Cited by 4 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
