Title:
Oracles and first order Lindström quantifiers
Subtitle:
a correction to TR # B 94-17
Author(s):
Pnueli, Yachin B.; Makowski, Janos A.
Year of publication:
1994
Available Date:
2009-03-13T15:13:30.047Z
DDC-Classification:
004 Datenverarbeitung; Informatik
Publication Type:
Arbeitspapier
Department/institution:
Mathematik und Informatik
Institut für Informatik
Series/Multivolume:
Freie Universität Berlin, Fachbereich Mathematik und Informatik
