Logics which capture complexity classes over the reals
Author: | Felipe Cucker, Klaus MeerGND |
---|---|
Title of the source (English): | Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25-29, 1997 Proceedings |
Publisher: | Springer |
Place of publication: | Heidelberg |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 1997 |
First Page: | 398 |
Last Page: | 407 |
Series ; volume number: | Lecture Notes in Computer Science; 1295 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Theoretische Informatik |