Observational logic, constructor-based logic, and their duality. (Q1874280): Difference between revisions

@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of system theory: Decomposable systems
+Normal rank
@@ Property / cites work @@
+Adjoint machines, state-behavior machines, and duality
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Q3365224
@@ Property / cites work: Q3365224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702601
@@ Property / cites work: Q4702601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738215
@@ Property / cites work: Q4738215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771053
@@ Property / cites work: Q2771053 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural and abstractor specifications
@@ Property / cites work: Behavioural and abstractor specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839054
@@ Property / cites work: Q3839054 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493908
@@ Property / cites work: Q4493908 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructor-based observational logic
@@ Property / cites work: Constructor-based observational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4842536
@@ Property / cites work: Q4842536 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for structured specifications with observability operators
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+On behavioural abstraction and behavioural satisfaction in higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638871
@@ Property / cites work: Q5638871 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Q4533390
@@ Property / cites work: Q4533390 / rank @@
+Normal rank
@@ Property / cites work @@
+On institutions for modular coalgebraic specifications.
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2785427
@@ Property / cites work: Q2785427 / rank @@
+Normal rank
@@ Property / cites work @@
+Swinging types=functions+relations+transition systems
+Normal rank
@@ Property / cites work @@
+Q4263878
@@ Property / cites work: Q4263878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773301
@@ Property / cites work: Q3773301 / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Q2782496
@@ Property / cites work: Q2782496 / rank @@
+Normal rank