Automatically finding theory morphisms for knowledge management

DOI10.1007/978-3-319-96812-4_18zbMath1417.68211OpenAlexW2883964127MaRDI QIDQ1798969

Michael Kohlhase, Dennis Müller, Florian Rabe

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-96812-4_18

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (1)

Unnamed Item

Uses Software

• Isabelle
• PVS
• IMPS
• OpenDreamKit
• TGView

This page was built for publication: Automatically finding theory morphisms for knowledge management