Representing Logic Program Schemata in lambdaProlog

Cached

Download Links

by Timothy S. Gegg-harrison
Citations:2 - 0 self

Active Bibliography

13 Representing Logic Program Schemata in Prolog – Timothy S. Gegg-harrison - 1995
Exploiting Logic Program Schemata to Teach Recursive Programming – Timothy S. Gegg-harrison
11 Extensible Logic Program Schemata – Timothy S. Gegg-harrison
1Extensible Logic Program Schemata – Timothy S. Gegg-harrison
An Abstract Formulation of Correct Schemas for Program Synthesis – P. Flener, Kung-kiu Lau, Mario Ornaghi, Julian Richardson
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
38 Logic Program Synthesis – Yves Deville, Kung-kiu Lau - 1993
8 Exploiting Program Schemata in a Prolog Tutoring System – Timothy S. Gegg-harrison, Timothy S. Gegg-harrison - 1993