Title of article
Adding For-Loops to First-Order Logic
Author/Authors
Frank Neven، نويسنده , , Martin Otto، نويسنده , , Jurek Tyszkiewicz، نويسنده , , Jan Van den Bussche، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
31
From page
156
To page
186
Keywords
Query languages , for-loops , Database theory , finite model theory.
Journal title
Information and Computation
Serial Year
2001
Journal title
Information and Computation
Record number
261981
Link To Document