Knuth-Bendix completion versus fold/unfold a comparative study in program synthesis

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Fronhöfer, Bertram (VerfasserIn)
Weitere Verfasser:	Furbach, Ulrich (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Neubiberg 1986
Schriftenreihe:	Bericht / Universität der Bundeswehr München, Fakultät für Informatik 8604
Schlagworte:	Software Engineering > Softwarewerkzeug > Umsetzung > Knuth-Bendix-Vervollständigungsprozedur
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	21 S.