Adding for-loops to first-order logic

Publication

Title				Adding for-loops to first-order logic

Author				Neven, F. Otto, M. Tyszkiewicz, J. van den Bussche, J.

Language				English

Source (book)				Database theory, ICDT'99 / Beeri, C. [edit.]

Publication				Berlin : Springer , 1999

Volume/pages				p. 58-69

UAntwerpen

Faculty/Department				Faculty of Sciences. Mathematics and Computer Science

Research group
Publication type				H3 Book chapter

Affiliation				Publications with a UAntwerp address

External links

Record

Identifier

Creation

08.10.2008

Last edited

07.10.2022

To cite this reference