Adding for-loops to first-order logic

Berlin [u.a.] / Springer (1999) [Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern