Author:
Bidoit Michel,Mosses Peter D.
Publisher
Springer Berlin Heidelberg
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Complete Finite Axiomatisation of the Equational Theory of Common Meadows;ACM Transactions on Computational Logic;2024-08-17
2. Synthetic Fracterm Calculus;JUCS - Journal of Universal Computer Science;2024-03-28
3. Approaching the Standard of Knowledge Representation in the Web by Algebraic Means;Automatic Documentation and Mathematical Linguistics;2022-10
4. Algebraic Specification in CASL;Texts in Theoretical Computer Science. An EATCS Series;2022
5. Logics for Software Engineering;Texts in Theoretical Computer Science. An EATCS Series;2022