Existential second-order logic over strings
Eiter, Thomas ; Gottlob, Georg ; Gurevich, Yuri 1997 IFIG
- Link zu diesem Datensatz
-
https://d-nb.info/954023560
- Titel
-
Existential second-order logic over strings
- Art des Inhalts
- Monographie
- Verfassangaben
- Thomas Eiter ; Georg Gottlob ; Yuri Gurevich. Institut für Informatik, Justus-Liebig-Universität Giessen
- Autor(en)
-
- Eiter, Thomas
- Gottlob, Georg
- Gurevich, Yuri
- Verlag
- Giessen : IFIG [1997]
- Jahr
- Erscheinungsdatum: 1997
- Umfang/Format
- 47 S.
- Sprache
- eng
- Sachgruppe(n)
-
- Anmerkungen
-
Literaturverz. S. 45 - 47
- Stand
- 23.08.2021 17:15
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
