A recursive techniques editor for Prolog
- 1 January 1991
- journal article
- Published by Springer Nature in Instructional Science
- Vol. 20 (2) , 135-172
- https://doi.org/10.1007/bf00120880
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Argument-bounded algorithms as a basis for automated termination proofsPublished by Springer Nature ,2005
- The Interlisp Programming EnvironmentComputer, 1981