An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs

• Authors:

• David A. Rosenblueth

• Affiliations:

• -

• Venue:
• LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
• Year:
• 1998