Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis

Authors:
Bertram Fronhöfer;Ulrich Furbach
Affiliations:
-;-
Venue:
GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung
Year:
1986

Citing 0
Cited 2

Deductive and inductive synthesis of equational programs

Journal of Symbolic Computation - Special issue on automatic programming
Inductive synthesis of equational programs

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract