Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621): Difference between revisions

@@ Property / cites work @@
+Stratified institutions and elementary homomorphisms
+Normal rank
@@ Property / cites work @@
+Bringing them all Together
@@ Property / cites work: Bringing them all Together / 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 @@
+Universal logic: An anthology. From Paul Hertz to Dov Gabbay
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Q4412850
@@ Property / cites work: Q4412850 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logic and its proof-theory
@@ Property / cites work: Hybrid logic and its proof-theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731650
@@ Property / cites work: Q3731650 / rank @@
+Normal rank
@@ Property / cites work @@
+Birkhoff completeness in institutions
@@ Property / cites work: Birkhoff completeness in institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4432964
@@ Property / cites work: Q4432964 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Diagrams in Institutions
@@ Property / cites work: Elementary Diagrams in Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand theorems in arbitrary institutions
@@ Property / cites work: Herbrand theorems in arbitrary institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit Kripke semantics and ultraproducts in stratified institutions
+Normal rank
@@ Property / cites work @@
+Quasi-varieties and initial semantics for hybridized institutions
+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 @@
+Q4680190
@@ Property / cites work: Q4680190 / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding hybridized institutions into first-order logic
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+A hidden Herbrand theorem: Combining the object and logic paradigms
+Normal rank
@@ Property / cites work @@
+Equality, types, modules, and (why not?) generics for logic programming
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Logic Programming in Hybridised Logics
+Normal rank
@@ Property / cites work @@
+Initial semantics in logics with constructors
@@ Property / cites work: Initial semantics in logics with constructors / rank @@
+Normal rank
@@ Property / cites work @@
+Q2816365
@@ Property / cites work: Q2816365 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness by Forcing
@@ Property / cites work: Completeness by Forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement in hybridised institutions
@@ Property / cites work: Refinement in hybridised institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Hybridization of Institutions
@@ Property / cites work: Hybridization of Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337524
@@ Property / cites work: Q3337524 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations and completeness transfer for quantified modal logics
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Q3776610
@@ Property / cites work: Q3776610 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank