Florian Rabe

ACM Trans. Comput. Log., 2015

Generic Literals.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Formal Logic Definitions for Interchange Languages.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014

A Logic-Independent IDE.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

MMT Objects.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the MathUI, 2014

Towards Knowledge Management for HOL Light.

[BibT_eX]

[DOI]

Cezary Kaliszyk

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Flexary Operators for Formalized Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2013

Logical relations for a logical framework.

[BibT_eX]

[DOI]

Kristina Sojakova

ACM Trans. Comput. Log., 2013

A logical framework combining model and proof theory.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2013

The Mizar Mathematical Library in OMDoc: Translation and Applications.

[BibT_eX]

[DOI]

J. Autom. Reason., 2013

A scalable module system.

[BibT_eX]

[DOI]

Inf. Comput., 2013

The MMT API: A Generic MKM System.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

A Universal Machine for Biform Theory Graphs.

[BibT_eX]

[DOI]

Felix Mance

Proceedings of the Intelligent Computer Mathematics, 2013

The Scala-REPL + MMT as a lightweight mathematical user interface.

[BibT_eX]

[DOI]

Mihnea Iancu

Felix Mance

Proceedings of the Joint Proceedings of the MathUI, 2013

2012

Semantics of OpenMath and MathML3.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2012

Compiling Logics.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

A Query Language for Formal Mathematical Libraries.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Management of Change in Declarative Languages.

[BibT_eX]

[DOI]

Mihnea Iancu

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Extending MKM Formats at the Statement Level.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Formalising foundations of mathematics.

[BibT_eX]

[DOI]

Mihnea Iancu

Math. Struct. Comput. Sci., 2011

Kripke Semantics for Martin-Löf's Extensional Type Theory

[BibT_eX]

[DOI]

Steven Awodey

Log. Methods Comput. Sci., 2011

A Foundational View on Integration Problems.

[BibT_eX]

[DOI]

Claudio Sacerdoti Coen

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Combining Source, Content, Presentation, Narration, and Relational Representation.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Project Abstract: Logic Atlas and Integrator (LATIN).

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Representing Isabelle in LF

[BibT_eX]

[DOI]

Proceedings of the Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010

Towards Logical Frameworks in the Heterogeneous Tool Set Hets.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A Proof Theoretic Interpretation of Model Theoretic Hiding.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Publishing Math Lecture Notes as Linked Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2010

Towards MKM in the Large: Modular Representation and Scalable Software Architecture.

[BibT_eX]

[DOI]

Vyacheslav Zholudev

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Solving the $100 modal logic challenge.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

Representing Model Theory in a Type-Theoretical Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

Integrating Web Services into Active Mathematical Documents.

[BibT_eX]

[DOI]

Jana Giceva

Christoph Lange

Proceedings of the Intelligent Computer Mathematics, 2009

A practical module system for LF.

[BibT_eX]

[DOI]

Carsten Schürmann

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2008

Translating a Dependently-Typed Logic to First-Order Logic.

[BibT_eX]

[DOI]

Kristina Sojakova

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Flyspeck in a Semantic Wiki.

[BibT_eX]

[DOI]

Christoph Lange

Sean McLaughlin

Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

An Exchange Format for Modular Knowledge.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2008 Workshops, 2008

Repräsentation von Logiken und Logik-Übersetzungen [Representing Logics and Logic Translations].

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2008, 2008

Evaluation of Systems for Higher-order Logic (ESHOL).

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

THF0 - The Core of the TPTP Language for Higher-Order Logic.

[BibT_eX]

[DOI]

Christoph Benzmüller

Geoff Sutcliffe

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Notations for Living Mathematical Documents.

[BibT_eX]

[DOI]

Christine Müller

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

Representing logics and logic translations.

[BibT_eX]

[DOI]

PhD thesis, 2008

2007

An Institutional View on Categorical Logic.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2007

2006

First-Order Logic with Dependent Types.

[BibT_eX]

[DOI]