Scoping Constructs In Logic Programming: Implementation Problems And Their Solution (1995)


Download Links

by Gopalan Nadathur , Bharat Jayaraman
Citations:21 - 9 self

Active Bibliography

153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
30 A Proof Procedure for the Logic of Hereditary Harrop Formulas – Gopalan Nadathur - 1993
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
M. Jean-Pierre Banâtre président Me Christine Paulin-Mohring rapporteurs – Olivier Ridoux, Mm. Alain Colmerauer, René Lalement, Mm. Yves Bekkers Examinateurs, Laurent Trilling
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995