Adding For-Loops to First-Order Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche. Adding For-Loops to First-Order Logic. In Catriel Beeri, Peter Buneman, editors, Database Theory - ICDT 99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings. Volume 1540 of Lecture Notes in Computer Science, pages 58-69, Springer, 1999. [doi]

This author has not been identified. Look up 'Frank Neven' in GoogleThis author has not been identified. Look up 'Martin Otto' in GoogleThis author has not been identified. Look up 'Jerzy Tyszkiewicz' in GoogleThis author has not been identified. Look up 'Jan Van den Bussche' in Google

runs on WebDSL