Author:
Bidoit Michel,Mosses Peter D.
Publisher
Springer Berlin Heidelberg
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Approaching the Standard of Knowledge Representation in the Web by Algebraic Means;Automatic Documentation and Mathematical Linguistics;2022-10
2. Algebraic Specification in CASL;Texts in Theoretical Computer Science. An EATCS Series;2022
3. Logics for Software Engineering;Texts in Theoretical Computer Science. An EATCS Series;2022
4. Conceptual Blending in Mathematical Creation/Invention;Artificial Mathematical Intelligence;2020
5. Symbolic Reasoning Methods in Rewriting Logic and Maude;Logic, Language, Information, and Computation;2018