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]

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

Identifier