A systematic study of mappings between institutions-Reference-Cited by-同舟云学术

A systematic study of mappings between institutions

Published:1998 Issue: Volume: Page:300-315
ISSN:0302-9743
Container-title:Recent Trends in Algebraic Development Techniques
language:
Short-container-title:

Author:

Martini Alfio,Wolter Uwe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-64299-4_41.pdf

Reference8 articles.

1. Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Università di Pisa-Genova-Udine, 1993. TD-4/93.

2. J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM, 39(1):95–146, January 1992.

3. J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium '87, pages 275–329. Elsevier Science Publishers B. V.,North Holland, 1989.

4. J. Meseguer and M-O. Narciso. From abstract data types to logical frameworks. In Recent Trends in Data Type Specification, pages 48–80. Springer, LNCS 906, 1995.

5. S. Salibra and G. Scollo. Interpolation and compactness in categories of pre-institutions. Mathematical Structures in Computer Science, 6:261–286, 1996.

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

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

2. Combining Specification Formalisms in the ‘General Logic’ of Multialgebras;Recent Trends in Algebraic Development Techniques;2003

3. The ≫Petri Net Baukasten≪: An Overview;Unifying Petri Nets;2001

4. A Single Perspective on Arrows between Institutions;Algebraic Methodology and Software Technology;1998