CafeOBJ Traces (Q5403067): Difference between revisions

@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-54624-2_3
+Normal rank
@@ Property / OpenAlex ID @@
+W4243501382
@@ Property / OpenAlex ID: W4243501382 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Q5460172
@@ Property / cites work: Q5460172 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of logics. How to cut and paste reasoning systems
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q4520814
@@ Property / cites work: Q4520814 / rank @@
+Normal rank
@@ Property / cites work @@
+Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+Interpolation in Grothendieck institutions
@@ Property / cites work: Interpolation in Grothendieck institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural specification for hierarchical object composition
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Coinduction for preordered algebra
@@ Property / cites work: Coinduction for preordered algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Grothendieck inclusion systems
@@ Property / cites work: Grothendieck inclusion systems / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-varieties and initial semantics for hybridized institutions
+Normal rank
@@ Property / cites work @@
+Foundations for structuring behavioural specifications
+Normal rank
@@ Property / cites work @@
+On the algebra of structured specifications
@@ Property / cites work: On the algebra of structured specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of CafeOBJ
@@ Property / cites work: Logical foundations of CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+Ultraproducts and possible worlds semantics in institutions
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Data, Schema, Ontology and Logic Integration
@@ Property / cites work: Data, Schema, Ontology and Logic Integration / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybridization of Institutions
@@ Property / cites work: Hybridization of Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708606
@@ Property / cites work: Q4708606 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of the Distributed Ontology Language: Institutes and Institutions
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Circular Coinduction: A Proof Theoretical Foundation
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank