- a Term Rewriting Laboratory (not only) for Experiments in Automatic Program Synthesis.

Published in: GOSLER Final Report (1995)

Keyphrases

program synthesis
term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
inductive logic programming
recursive programs
learning algorithm
artificial intelligence
language processing
formal semantics