7 citations · 58 across the 20 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 3 cited
Alignment-based Translations Across Formal Systems Using Interface Theories
Dennis Müller, Colin Rothgang, Yufei Liu +1
Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations,…
cs.LO2017★ 1 cited
Canonical Selection of Colimits
Till Mossakowski, Florian Rabe, Mihai Codescu
Colimits are a powerful tool for the combination of objects in a category. In the context of modeling and specification, they are used in the institution-independent semantics (1)…