Adding for-loops to first-order logic

Neven, Frank; Otto, Martin; Tyskiewicz, Jurek; van den Bussche, Jan

Berlin [u.a.] : Springer (1999)
Contribution to a book, Contribution to a conference proceedings

In: Database Theory : 7. International Conference ; Proceedings / ICDT '99, Jerusalem, Israel, 10.1.-12.1.1999 / C. Beeri ; Buneman, P. Hrsg
Page(s)/Article-Nr.: 58-69

Institutions

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