Adding for-loops to first-order logic

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

Berlin [u.a.] / Springer (1999) [Buchbeitrag, 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

Identifikationsnummern