|
Title
|
|
|
|
First-order queries on finite structures over the reals
| |
|
Author
|
|
|
|
| |
|
Language
|
|
|
|
English
| |
|
Source (journal)
|
|
|
|
Annual IEEE Symposium on Logic in Computer Science
| |
|
Publication
|
|
|
|
1995
| |
|
DOI
|
|
|
|
10.1109/LICS.1995.523246
| |
|
Volume/pages
|
|
|
|
10
(1995)
, p. 79-89
| |
|
ISI
|
|
|
|
A1995BE13E00008
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|