First-order queries on databases embedded in an infinite structure
Otto, Martin; van den Bussche, Jan
Amsterdam [u.a.] / Elsevier (1996) [Journal Article]
Information processing letters
Volume: 60
Page(s): 37-41
Identifier
- DOI: 10.1016/S0020-0190(96)00140-8
- REPORT NUMBER: RWTH-CONV-032550