Objekt-Metadaten

Oracles and first order Lindström quantifiers
Pnueli, Yachin B. ;  Makowski, Janos A. ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

Main titleOracles and first order Lindström quantifiers
Subtitlea correction to TR # B 94-17
AuthorPnueli, Yachin B.
AuthorMakowski, Janos A.
InstitutionUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
No. of Pages23 S.
Series Freie Universität Berlin, Fachbereich Mathematik : Ser. B ; 94,19
Classification (DDC)004 Data processing and Computer science
Documents
pdf-Datei
If your browser can't open the file, please download the file first and then open it
 
FU DepartmentDepartment of Mathematics and Computer Science
Other affiliation(s)Institut für Informatik
Year of publication1994
Type of documentMaps
LanguageEnglish
Terms of use/Rights Nutzungsbedingungen
Created at2009-03-13 : 03:13:30
Last changed2014-01-23 : 04:21:15
 
Static URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001177
Statistics
 

LOADING...