First-order queries on databases embedded in an infinite structure

Otto, Martin; van den Bussche, Jan

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

In: Information processing letters
Volume: 60
Page(s)/Article-Nr.: 37-41

Institutions

  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
  • Department of Mathematics [110000]

Identifier