Logics which capture complexity classes over the reals
Author: | Felipe Cucker, Klaus MeerGND |
---|---|
ISSN: | 0022-4812 |
Title of the source (English): | Journal of Symbolic Logic |
Document Type: | Scientific journal article peer-reviewed |
Language: | English |
Year of publication: | 1999 |
Volume/Year: | 64 |
Issue number: | 1 |
First Page: | 363 |
Last Page: | 390 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Theoretische Informatik |