First-order queries on finite structures over the reals

J. Paredaens, J. Van den Bussche, D. Van Gucht

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

21 Citations (Scopus)

Original language	English
Title of host publication	Logic in Computer Science (Proceedings 10th Annual IEEE Symposium, LICS'95, San Diego CA, USA, June 26-29, 1995)
Pages	79-87
DOIs	https://doi.org/10.1109/LICS.1995.523246
Publication status	Published - 1995

Access to Document

@inproceedings{a17958a479a54c1f8092e476d41cdbc3,

title = "First-order queries on finite structures over the reals",

author = "J. Paredaens and {Van den Bussche}, J. and {Van Gucht}, D.",

year = "1995",

doi = "10.1109/LICS.1995.523246",

language = "English",

pages = "79--87",

booktitle = "Logic in Computer Science (Proceedings 10th Annual IEEE Symposium, LICS'95, San Diego CA, USA, June 26-29, 1995)",

}

TY - GEN

T1 - First-order queries on finite structures over the reals

AU - Paredaens, J.

AU - Van den Bussche, J.

AU - Van Gucht, D.

PY - 1995

Y1 - 1995

U2 - 10.1109/LICS.1995.523246

DO - 10.1109/LICS.1995.523246

M3 - Conference contribution

SP - 79

EP - 87

BT - Logic in Computer Science (Proceedings 10th Annual IEEE Symposium, LICS'95, San Diego CA, USA, June 26-29, 1995)

ER -