Author:
Codescu Mihai,Horozal Fulya,Kohlhase Michael,Mossakowski Till,Rabe Florian,Sojakova Kristina
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P., Sannella, D., Tarlecki, A.: CASL: The Common Algebraic Specification Language. Theoretical Computer Science 286(2), 153–196 (2002)
2. Avron, A., Honsell, F., Miculan, M., Paravano, C.: Encoding modal logics in logical frameworks. Studia Logica 60(1), 161–208 (1998)
3. Lecture Notes in Computer Science;S. Autexier,2000
4. Bertot, Y., Castéran, P.: Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)
5. Bortin, M., Broch Johnsen, E., Lüth, C.: Structured formal development in Isabelle. Nordic Journal of Computing 12, 1–20 (2006)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Structure-Preserving Diagram Operators;Recent Trends in Algebraic Development Techniques;2021
2. A Maude environment for CafeOBJ;Formal Aspects of Computing;2017-03
3. On Combining Algebraic Specifications with First-Order Logic via Athena;Springer Proceedings in Mathematics & Statistics;2017
4. How to identify, translate and combine logics?;Journal of Logic and Computation;2014-12-14
5. Parchments for CafeOBJ Logics;Specification, Algebra, and Software;2014