Title
Adding for-loops to first-order logic Adding for-loops to first-order logic
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
bookPart
Publication
Berlin :Springer, [*]
Source (book)
Database theory, ICDT'99 / Beeri, C. [edit.]
Carrier
E
Target language
English (eng)
Affiliation
University of Antwerp
Handle