First-order queries on finite structures over the reals

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

21 Citaten (Scopus)

Originele taal-2	Engels
Titel	Logic in Computer Science (Proceedings 10th Annual IEEE Symposium, LICS'95, San Diego CA, USA, June 26-29, 1995)
Pagina's	79-87
DOI's	https://doi.org/10.1109/LICS.1995.523246
Status	Gepubliceerd - 1995

Toegang tot 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 -