Haupttitel:
Oracles and first order Lindström quantifiers
Titelzusatz:
a correction to TR # B 94-17
Autor*in:
Pnueli, Yachin B.; Makowski, Janos A.
Datum der Freigabe:
2009-03-13T15:13:30.047Z
DDC-Klassifikation:
004 Datenverarbeitung; Informatik
Publikationstyp:
Arbeitspapier
Fachbereich/Einrichtung:
Mathematik und Informatik
Institut für Informatik
Schriftenreihe:
Freie Universität Berlin, Fachbereich Mathematik und Informatik
