Herbrand theorems in arbitrary institutions (Q2390213): Difference between revisions

@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Logical foundations of CafeOBJ
@@ Property / cites work: Logical foundations of CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520814
@@ Property / cites work: Q4520814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493908
@@ Property / cites work: Q4493908 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+Equality, types, modules, and (why not?) generics for logic programming
+Normal rank
@@ Property / cites work @@
+Q3030249
@@ Property / cites work: Q3030249 / rank @@
+Normal rank
@@ Property / cites work @@
+A hidden Herbrand theorem: Combining the object and logic paradigms
+Normal rank
@@ Property / cites work @@
+Q4432964
@@ Property / cites work: Q4432964 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions for logic programming
@@ Property / cites work: Institutions for logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950541
@@ Property / cites work: Q3950541 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Category-based constraint logic
@@ Property / cites work: Category-based constraint logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of category-based equational deduction
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank