Author of the publication

Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

, , and . 20th International FLAIRS Conference (FLAIRS-20), page 665-670. AAAI Press, (2007)

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.

 

Other publications of authors with the same name

Heterogeneous Development Graphs and Heterogeneous Borrowing.. FoSSaCS, volume 2303 of Lecture Notes in Computer Science, page 326-341. Springer, (2002)Institutions for SQL Database Schemas and Datasets., and . WADT, volume 11563 of Lecture Notes in Computer Science, page 67-86. Springer, (2018)Institutions for SQL Database Schemas and Datasets., and . WADT, volume 11563 of Lecture Notes in Computer Science, page 67-86. Springer, (2019)Specifications in an Arbitrary Institution with Symbols.. WADT, volume 1827 of Lecture Notes in Computer Science, page 252-270. Springer, (1999)Colimits of order-sorted specifications.. WADT, volume 1376 of Lecture Notes in Computer Science, page 316-332. Springer, (1997)Combining and representing logical systems using model-theoretic parchments., , and . WADT, volume 1376 of Lecture Notes in Computer Science, page 349-364. Springer, (1997)Comorphism-Based Grothendieck Logics.. MFCS, volume 2420 of Lecture Notes in Computer Science, page 593-604. Springer, (2002)Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity, and . CoRR, (2010)Heterogeneous Theories and the Heterogeneous Tool Set.. Semantic Interoperability and Integration, volume 04391 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2005)What is a Logic Translation?, , and . Logica Universalis, 3 (1): 95-124 (2009)