Specifications in an arbitrary institution (Q1108775): Difference between revisions

@@ Property / cites work @@
+Q3048222
@@ Property / cites work: Q3048222 / rank @@
+Normal rank
@@ Property / cites work @@
+The Birkhoff variety theorem for continuous algebras
+Normal rank
@@ Property / cites work @@
+Q4152697
@@ Property / cites work: Q4152697 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Equational partiality
@@ Property / cites work: Equational partiality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912001
@@ Property / cites work: Q3912001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3695436
@@ Property / cites work: Q3695436 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial abstract types
@@ Property / cites work: Partial abstract types / rank @@
+Normal rank
@@ Property / cites work @@
+Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
+Normal rank
@@ Property / cites work @@
+On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
+Normal rank
@@ Property / cites work @@
+Q3341871
@@ Property / cites work: Q3341871 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic implementation of abstract data types
@@ Property / cites work: Algebraic implementation of abstract data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906461
@@ Property / cites work: Q3906461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667933
@@ Property / cites work: Q3667933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105777
@@ Property / cites work: Q4105777 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and operational semantics of specifications allowing exceptions and errors
+Normal rank
@@ Property / cites work @@
+Q4151143
@@ Property / cites work: Q4151143 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of computation
@@ Property / cites work: Semantics of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3943975
@@ Property / cites work: Q3943975 / rank @@
+Normal rank
@@ Property / cites work @@
+Report on the Larch shared language
@@ Property / cites work: Report on the Larch shared language / rank @@
+Normal rank
@@ Property / cites work @@
+Final Data Types and Their Specification
@@ Property / cites work: Final Data Types and Their Specification / rank @@
+Normal rank
@@ Property / cites work @@
+CLU reference manual
@@ Property / cites work: CLU reference manual / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Proof Systems for Equational Specifications
+Normal rank
@@ Property / cites work @@
+Characterizing specification languages which admit initial semantics
+Normal rank
@@ Property / cites work @@
+Why Horn formulas matter in computer science: initial structures and generic examples
+Normal rank
@@ Property / cites work @@
+Q3239817
@@ Property / cites work: Q3239817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195975
@@ Property / cites work: Q4195975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773301
@@ Property / cites work: Q3773301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3042444
@@ Property / cites work: Q3042444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345753
@@ Property / cites work: Q3345753 / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal specification of a display-oriented text editor
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Q3687694
@@ Property / cites work: Q3687694 / rank @@
+Normal rank
@@ Property / cites work @@
+Final algebra semantics and data type extensions
@@ Property / cites work: Final algebra semantics and data type extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3660896
@@ Property / cites work: Q3660896 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured algebraic specifications: A kernel language
+Normal rank