Diagram combinators in MMT

DOI10.1007/978-3-030-23250-4_15zbMath1428.68353OpenAlexW2955769458MaRDI QIDQ2287911

Yasmine Sharoda, Florian Rabe

Publication date: 22 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23250-4_15

Mathematics Subject Classification ID

Mathematical knowledge management (68V30)

Related Items

Structure-preserving diagram operators

Uses Software

• Isabelle
• CASL
• Hets
• MMT
• Specware