First-order queries on databases embedded in an infinite structure

Amsterdam [u.a.] / Elsevier (1996) [Journal Article]

Information processing letters
Volume: 60
Page(s): 37-41

Authors

Authors

Otto, Martin
van den Bussche, Jan

Identifier