On existentially first-order definable languages and their relation to NP

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Borchert, Bernd (VerfasserIn) , Kuske, Dietrich (VerfasserIn) , Stephan, Frank (VerfasserIn)
Dokumenttyp: Article (Journal)
Sprache:Englisch
Veröffentlicht: 1999
In: RAIRO. Theoretical informatics and applications
Year: 1999, Jahrgang: 33, Heft: 3, Pages: 259-269
ISSN:1290-385X
DOI:10.1051/ita:1999116
Online-Zugang:Verlag, Volltext: http://dx.doi.org/10.1051/ita:1999116
Volltext
Verfasserangaben:Bernd Borchert, Dietrich Kuske and Frank Stephan
Beschreibung
Beschreibung:Gesehen am 20.02.2017
Beschreibung:Online Resource
ISSN:1290-385X
DOI:10.1051/ita:1999116