T::L::P:::S::: - a Term Rewriting Laboratory (not only) for Experiments in Automatic Program Synthesis

Gunter Grieser. T::L::P:::S::: - a Term Rewriting Laboratory (not only) for Experiments in Automatic Program Synthesis. In Klaus P. Jantke, Steffen Lange, editors, Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report. Volume 961 of Lecture Notes in Computer Science, pages 467-481, Springer, 1995.

Abstract

Abstract is missing.