Author:
Mossakowski Till,Tarlecki Andrzej,Pawłowski Wieslaw
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. E. Astesiano, M. Cerioli. Relationships between logical frameworks. In M. Bidoit, C. Choppy, eds., Proc. 8th ADT workshop, Lecture Notes in Computer Science 655, 126–143. Springer Verlag, 1992.
2. Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic 7, 221–265,1974.
3. P. Burmeister. A model theoretic approach to partial algebras. Akademie Verlag, Berlin, 1986.
4. M. Cerioli. Relationships between Logical Formalisms. PhD thesis, TD-4/93, Università di Pisa-Genova-Udine, 1993.
5. H. Ehrig, P. Pepper, F. Orejas. On recent trends in algebraic specification. In Proc. ICALP'89, Lecture Notes in Computer Science 372, 263–288. Springer Verlag, 1989.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Categorical foundations for structured specifications in Z;Formal Aspects of Computing;2015-11
2. Parchments for CafeOBJ Logics;Specification, Algebra, and Software;2014
3. A logical framework combining model and proof theory;Mathematical Structures in Computer Science;2013-03-01
4. A Categorical Approach to Structuring and Promoting Z Specifications;Formal Aspects of Component Software;2013
5. Fibring Logics;Universal Logic: An Anthology;2012