Jose Maria Turull Torres

Bibliography

Turull Torres, Jose Maria. 1999. “Query Completeness, Distinguishability, and Relational Machines.” in Models, Algebras, and Proofs. Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá, edited by Xavier Caicedo and Carlos H. Montenegro, pp. 135–164. New York: Marcel Dekker.