Journal of Automated Reasoning
Journal Abbreviation: J AUTOM REASONING
ISSN: 0168-7433
Publisher: Springer Verlag (Germany)
Publications (4)
Experiences from Exporting Major Proof Assistant Libraries (2021)
Kohlhase M, Rabe F
Journal article
The Mizar mathematical library in OMDoc: Translation and applications (2013)
Iancu M, Kohlhase M, Rabe F, Urban J
Journal article, Original article
Managing structural information by higher-order colored unification (2000)
Hutter D, Kohlhase M
Journal article, Original article
Integrating Computer Algebra into Proof Planning (1998)
Kerber M, Kohlhase M, Sorge V
Journal article, Original article