Existential second-order logic over strings

Bibliographische Detailangaben

1. Verfasser:	Eiter, Thomas (VerfasserIn)
Weitere Verfasser:	Gottlob, Georg (VerfasserIn), Gurevich, Yuri (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Giessen IFIG 1997
Schriftenreihe:	Institut für Informatik <Gießen>: IFIG research report 9702
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!