3.5k citations
- Centre National de la Recherche ScientifiqueFR12 papers
- Max Planck Institute for AstrophysicsDE11 papers
- University of BremenDE8 papers
- Boston UniversityUS7 papers
- Center for Astrophysics Harvard & SmithsonianUS7 papers
- Leibniz Institute for Astrophysics PotsdamDE7 papers
- Max Planck Institute for Extraterrestrial PhysicsDE7 papers
- Radboud University NijmegenNL7 papers
- University of California, BerkeleyUS7 papers
- Hochschule BremenDE6 papers
- International UniversityKH6 papers
- Leiden UniversityNL6 papers
Showing 2017 · cs.LOShow all
2 papers · 2 filters
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)…