Classification of Alignments Between Concepts of Formal Mathematical Systems-Reference-Cited by-同舟云学术

Classification of Alignments Between Concepts of Formal Mathematical Systems

Published:2017 Issue: Volume: Page:83-98
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Müller Dennis,Gauthier Thibault,Kaliszyk Cezary,Kohlhase Michael,Rabe Florian

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-62075-6_7

Reference30 articles.

1. Lecture Notes in Computer Science;A Asperti,2007

2. Lecture Notes in Computer Science;A Asperti,2006

3. Bobot, F., Filliâtre, J., Marché, C., Paskevich, A.: Why3: shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, pp. 53–64 (2011)

4. Lecture Notes in Computer Science;M Codescu,2011

5. Codescu, M., Mossakowski, T., Kutz, O.: A categorical approach to ontology alignment. In: Proceedings of the 9th International Conference on Ontology Matching, pp. 1–12. CEUR-WS.org (2014)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. OntoMathEdu Educational Ontology: Problems of Ontological Engineering;Pattern Recognition and Image Analysis;2023-09

2. Combining Higher-Order Logic with Set Theory Formalizations;Journal of Automated Reasoning;2023-05-25

3. Sociotechnical design a review and future interdisciplinary perspectives involving thermodynamics in today societal contest;International Communications in Heat and Mass Transfer;2021-11

4. JEFL: Joint Embedding of Formal Proof Libraries;Frontiers of Combining Systems;2021

5. OntoMath$${}^{Edu}$$: A Linguistically Grounded Educational Mathematical Ontology;Lecture Notes in Computer Science;2020