Existential second-order logic over strings

Bibliographische Detailangaben

1. Verfasser:	Eiter, Thomas (VerfasserIn)
Weitere Verfasser:	Gottlob, Georg (VerfasserIn), Gurevich, Yuri (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Giessen Univ., Institut für Informatik 1997
Schriftenreihe:	IFIG Research Report / Institut für Informatik 9702
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!