Equational and membership constraints for infinite trees

Bibliographische Detailangaben

Hauptverfasser:	Niehren, Joachim (VerfasserIn), Podelski, Andreas (VerfasserIn), Treinen, Ralf (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Kaiserslautern 1993
Schriftenreihe:	Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern>: Research report 1993,14
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!