Coinduction for preordered algebra-Reference-Cited by-同舟云学术

Coinduction for preordered algebra

Published:2011-02 Issue:2 Volume:209 Page:108-117
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Diaconescu Răzvan

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference15 articles.

1. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martı´-Oliet, José Meseguer, Carolyn Talcott, All About Maude – A High-performance Logical Framework, Lecture Notes in Computer Science, vol. 4350, Springer, 2007.

2. Manuel Clavel, Steve Eker, Patrick Lincoln, Jose Meseguer, Principles of Maude, in: Proceedings, First International Workshop on Rewriting Logic and its Applications, Asilomar, California, September 1996, Electronic Notes in Theoretical Computer Science, vol. 4, 1996.

3. Răzvan Diaconescu, Kokichi Futatsugi, CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, AMAST Series in Computing, vol. 6, World Scientific, 1998.

4. Behavioural coherence in object-oriented algebraic specification;Diaconescu;Universal Computer Science,2000

5. Logical foundations of CafeOBJ;Diaconescu;Theoretical Computer Science,2002

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

1. A short overview of Hidden Logic;Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science;2018

2. Behavioral equivalence of hidden k-logics: An abstract algebraic approach;Journal of Applied Logic;2016-07

3. Encoding hybridized institutions into first-order logic;Mathematical Structures in Computer Science;2014-11-12

4. Foundations for structuring behavioural specifications;Journal of Logical and Algebraic Methods in Programming;2014-05

5. CafeOBJ Traces;Specification, Algebra, and Software;2014