Implementation of a deterministic partial E-unification algorithm for macro tree transducers

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Faßbender, Heinz (VerfasserIn)
Weitere Verfasser:	Vogler, Heiko (VerfasserIn), Wedel, Andrea (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Ulm Univ., Fak. für Informatik 1994
Schriftenreihe:	Ulmer Informatik-Berichte 94,04
Schlagworte:	Funktionale Programmierung > Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!