Adding for-loops to first-order logic

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

Berlin [u.a.] : Springer (1999)
Buchbeitrag, Beitrag zu einem Tagungsband

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