Existential second-order logic over strings
Eiter, Thomas ; Gottlob, Georg ; Gurevich, Yuri 1998 Universitätsbibliothek
- Link zu diesem Datensatz
-
https://d-nb.info/1057802743
- Titel
-
Existential second-order logic over strings
- Art des Inhalts
- Monographie
- Verfassangaben
- Thomas Eiter ; Georg Gottlob ; Yuri Gurevich
- Autor(en)
-
- Eiter, Thomas
- Gottlob, Georg
- Gurevich, Yuri
- Verlag
- Gießen : Universitätsbibliothek [1998]
- Jahr
- Erscheinungsdatum: 1998
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:hebis:26-opus-257
- Sprache
- eng
- Sachgruppe(n)
-
- Stand
- 19.07.2021 17:16
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
