Relationships between logical frameworks-Reference-Cited by-同舟云学术

Relationships between logical frameworks

Published:1993 Issue: Volume: Page:126-143
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Astesiano Egidio,Cerioli Maura

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56379-2_37.pdf

Reference25 articles.

1. E. Astesiano and M. Cerioli. On the existence of initial models for partial (higher-order) conditional specifications. In TAPSOFT'89, number 351 in Lecture Notes in Computer Science, pages 74–88, Berlin, 1989. Springer Verlag.

2. E. Astesiano and M. Cerioli. Commuting between institutions via simulation. Technical report, University of Genova, 1990.

3. E. Astesiano and M. Cerioli. Free objects and equational deduction for partial conditional specifications. Technical report, University of Genova, 1990.

4. E. Astesiano and M. Cerioli. Partial higher-order specifications. In Math. Found. of Comp. Sci. '91, number 520 in Lecture Notes in Computer Science, pages 74–84, Berlin, 1991. Springer Verlag.

5. E. Astesiano and M. Cerioli. Partial higher-order specifications. Fundamenta Informaticae, 16(2), 1992. To appear.

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

1. (Heterogeneous) Structured Specifications in Logics Without Interpolation;Outstanding Contributions to Logic;2018

2. Proof Support for RAISE by a Reuse Approach Based on Institutions;Algebraic Methodology and Software Technology;2004

3. Foundations of Heterogeneous Specification;Recent Trends in Algebraic Development Techniques;2003

4. Rewriting Logic as a Logical and Semantic Framework;Handbook of Philosophical Logic;2002

5. Combining and representing logical systems;Category Theory and Computer Science;1997