Permissive subsorted partial logic in CASL-Reference-Cited by-同舟云学术

Permissive subsorted partial logic in CASL

Published:1997 Issue: Volume: Page:91-107
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Cerioli Maura,Haxthausen Anne,Krieg-Brückner Bernd,Mossakowski Till

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0000465

Reference15 articles.

1. Arbib and Manes. Arrows, Structures, and Functors — The categorical Imperative. Academic Press Inc, 1975.

2. P. Burmeister. Partial algebras — survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Universalis, 15:306–358, 1982.

3. M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311–347, 1997.

4. M. Cerioli, T. Mossakowski, and H. Reichel. From total equational to partial first order. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors, Algebraic Foundations of Systems Specifications. 1997. To appear 9.

5. Joseph Goguen and RĂzvan Diaconescu. An Oxford survey of order sorted algebra. Mathematical Structures in Computer Science, 4(3):363–392, September 1994.

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

1. Generalized Theoroidal Institution Comorphisms;Recent Trends in Algebraic Development Techniques;2009

2. Casl — the Common Algebraic Specification Language;Logics of Specification Languages;2007-12-05

3. Amalgamation in the semantics of CASL;Theoretical Computer Science;2005-02

4. The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress;Recent Trends in Algebraic Development Techniques;2002

5. Towards Trustworthy Specification I: Consistency Checks;Recent Trends in Algebraic Development Techniques;2002