Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660): Difference between revisions

@@ Property / author @@
-Hans-Joerg Kreowski
@@ Property / author: Hans-Joerg Kreowski / rank @@
-Normal rank
@@ Property / author @@
+Hans-Joerg Kreowski
@@ Property / author: Hans-Joerg Kreowski / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Partial abstract types
@@ Property / cites work: Partial abstract types / rank @@
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational type logic
@@ Property / cites work: Equational type logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4856660