Lightweight realms

DOI10.1007/978-3-032-07021-0_13MaRDI QIDQ6856415zbMATH OpenFDO

Authors Michael Kohlhase, Florian Rabe, Marcel Schütz

Publication date 19 February 2026

Full work available at URL https://doi.org/10.1007/978-3-032-07021-0_13

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites work

• Canonical selection of colimits
• Elements of automata theory. Translated from the French by Reuben Thomas
• Morphism equality in theory graphs
• Realms: a structure for consolidating knowledge about mathematical theories

This page was built for publication: Lightweight realms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856415)