Using limits of parchments to systematically construct institutions of partial algebras-Reference-Cited by-同舟云学术

Using limits of parchments to systematically construct institutions of partial algebras

Published:1996 Issue: Volume: Page:379-393
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Mossakowski Till

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61629-2_54.pdf

Reference19 articles.

1. J. Adámek, J. Rosický. Locally Presentable and Accessible Categories. Cambridge University Press, 1994.

2. E. Astesiano, M. Cerioli. Non-strict don't care algebras and specifications. Mathematical Structures in Comupter Science, 1996. To appear.

3. M. Bidoit, H.-J. Kreowski, P. Lescannes, F. Orejas, D. Sannella. Algebraic System Specification and Development. A Survey and Annotated Bibliography, Lecture Notes in Computer Science 501. Springer Verlag, 1991.

4. P. Burmeister. A model theoretic approach to partial algebras. Akademie Verlag, Berlin, 1986.

5. R. M. Burstall, J. A. Goguen. Putting theories together to make specifications. In Proceedings of the 5th International Joint Conference on Artificial Intelligence, 1045–1058. Cambridge, 1977.

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

1. Parchments for CafeOBJ Logics;Specification, Algebra, and Software;2014

2. Fibring Logics;Universal Logic: An Anthology;2012

3. Cryptomorphisms at Work;Recent Trends in Algebraic Development Techniques;2005

4. Presenting and Combining Inference Systems;Recent Trends in Algebraic Development Techniques;2003

5. Completeness Results for Fibred Parchments;Recent Trends in Algebraic Development Techniques;2003