Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
The Heterogeneous Tool Set | 2007 | |||
Hybridization of Institutions | 2011 | |||
Improving the Efficiency of Reasoning Through Structure-Based Reformulation | 2000 | |||
Implicit Partiality of Signature Morphisms in Institution Theory | 2021 | |||
From conventional to institution-independent logic programming | 2017 |