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 proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)
Original languageEnglish
Title of host publicationLogic in Computer Science (Proceedings 10th Annual IEEE Symposium, LICS'95, San Diego CA, USA, June 26-29, 1995)
Publication statusPublished - 1995

Cite this