PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Casamayor, Juan Carlos"

Author of the publication

copydeleteadd this publication to your clipboard
Improving Integrity Checking by Compiling Derivation Paths.

, , and . Australian Database Conference, page 145-160. World Scientific, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Juan Carlos del Valle Morales University of Stuttgart

Juan Vargas University of Stuttgart

Carlos Peiro Frasquet University of Stuttgart

Carlos Sánchez Delgado University of Stuttgart

Carlos Eduardo Jimenez University of Stuttgart

 

Other publications of authors with the same name

Improving Integrity Checking by Compiling Derivation Paths., , and . Australian Database Conference, page 145-160. World Scientific, (1993)A Derivation Path Recording Method for Integrity Checking in Deductive Databases., , , , and . DAISD, volume LSI/91-30 of Report de recerca, page 185-203. Universitat Politecnica de Catalunya (UPC), (1991)Conceptual Modeling of Human Genome: Integration Challenges., , , , , and . Conceptual Modelling and Its Theoretical Foundations, volume 7260 of Lecture Notes in Computer Science, page 231-250. Springer, (2012)Hypothetical Query Answering in First-Order Databases., and . SCAI, volume 28 of Frontiers in Artificial Intelligence and Applications, page 368-372. IOS Press, (1995)A Prolog-like Paradigm for Reasoning in First-Order Theories., and . GULP, page 217-236. (1993)Sustained Models and Sustained Answers in First-Order Databases., and . DAISD, volume LSI/93-25-R of Report de recerca, page 267-286. Universitat Politecnica de Catalunya (UPC), (1993)Enforcing Conceptual Modeling to Improve the Understanding of Human Genome., , , , , , and . RCIS, page 85-92. IEEE, (2010)A Mechanism for Verification of Knowledge Base Scheme Specifications., , and . EUROVAV, page 103-115. Universidad Politécnica de Madrid, (1993)Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial.Sobre la enseñanza des las bases de datos: teoría y diseño., , , and . JIDBD, page 55-64. Universidade da Coruña, Facultade de Informática, (1996)SALER: A Data Science Solution to Detect and Prevent Corruption in Public Administration., , , , and . Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML, volume 11329 of Lecture Notes in Computer Science, page 103-117. Springer, (2018)