Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kutz, Oliver
Mossakowski, Till
and
Lücke, Dominik
2010.
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design.
Logica Universalis,
Vol. 4,
Issue. 2,
p.
255.
Ghilardi, Silvio
and
Ranise, Silvio
2010.
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis.
Logical Methods in Computer Science,
Vol. Volume 6, Issue 4,
Issue. ,
Caleiro, C.
and
Sernadas, A.
2012.
Universal Logic: An Anthology.
p.
389.
Sofronie-Stokkermans, Viorica
2013.
Programming Logics.
Vol. 7797,
Issue. ,
p.
392.
Alberti, Francesco
Bruttomesso, Roberto
Ghilardi, Silvio
Ranise, Silvio
and
Sharygina, Natasha
2014.
An extension of lazy abstraction with interpolation for programs with arrays.
Formal Methods in System Design,
Vol. 45,
Issue. 1,
p.
63.
Nalon, Cláudia
and
Kutz, Oliver
2014.
Towards Resolution-based Reasoning for Connected Logics.
Electronic Notes in Theoretical Computer Science,
Vol. 305,
Issue. ,
p.
85.
Chocron, Paula
Fontaine, Pascal
and
Ringeissen, Christophe
2015.
Automated Deduction - CADE-25.
Vol. 9195,
Issue. ,
p.
419.
Chocron, Paula
Fontaine, Pascal
and
Ringeissen, Christophe
2015.
Frontiers of Combining Systems.
Vol. 9322,
Issue. ,
p.
275.
Calvanese, Diego
Ghilardi, Silvio
Gianola, Alessandro
Montali, Marco
and
Rivkin, Andrey
2019.
Description Logic, Theory Combination, and All That.
Vol. 11560,
Issue. ,
p.
212.
Fiodorov, Igor
and
Sotnikov, Alexander
2019.
New Trends in Databases and Information Systems.
Vol. 1064,
Issue. ,
p.
243.
Chocron, Paula
Fontaine, Pascal
and
Ringeissen, Christophe
2020.
Politeness and Combination Methods for Theories with Bridging Functions.
Journal of Automated Reasoning,
Vol. 64,
Issue. 1,
p.
97.
Döller, Victoria
2022.
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits.
Software and Systems Modeling,
Vol. 21,
Issue. 4,
p.
1411.