20 citations · 34 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 7 cited
Rapid Prototyping Formal Systems in MMT: 5 Case Studies
Dennis Müller, Florian Rabe
Logical frameworks are meta-formalisms in which the syntax and semantics of object logics and related formal systems can be defined. This allows object logics to inherit implementa…
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,…