Descriptive Complexity Theory over the real numbers
Author: | Erich Grädel, Klaus MeerGND |
---|---|
DOI: | https://doi.org/10.1145/225058.225151 |
Title of the source (English): | Proceedings of the 27th Annual ACM Symposium on Theory of Computing STOC, Las Vegas, 1995 |
Publisher: | ACM |
Place of publication: | New York, NY |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 1995 |
First Page: | 315 |
Last Page: | 324 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Theoretische Informatik |