5 citations · 9 across the 3 of their papers we have counts for
3 papers
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)…
cs.LO2011★ 5 cited
A Scalable Module System
Florian Rabe, Michael Kohlhase
Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But suc…