Presenting functors on many-sorted varieties and applications (Q618170): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2009.11.007
@@ Property / DOI: 10.1016/j.ic.2009.11.007 / rank @@
-Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+On the greatest fixed point of a set functor
@@ Property / cites work: On the greatest fixed point of a set functor / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3248991
@@ Property / cites work: Q3248991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Modular construction of complete coalgebraic logics
+Normal rank
@@ Property / cites work @@
+Equational Systems and Free Constructions (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+One-and-a-halfth-order Logic
@@ Property / cites work: One-and-a-halfth-order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3282928
@@ Property / cites work: Q3282928 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability logic for type spaces
@@ Property / cites work: Probability logic for type spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
+Normal rank
@@ Property / cites work @@
+Coalgebraic Modal Logic Beyond Sets
@@ Property / cites work: Coalgebraic Modal Logic Beyond Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847816
@@ Property / cites work: Q2847816 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic of finite rank
@@ Property / cites work: Coalgebraic modal logic of finite rank / rank @@
+Normal rank
@@ Property / cites work @@
+On universal algebra over nominal sets
@@ Property / cites work: On universal algebra over nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+The Goldblatt-Thomason Theorem for Coalgebras
@@ Property / cites work: The Goldblatt-Thomason Theorem for Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusive first-order logic
@@ Property / cites work: Inclusive first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical approach to polyadic algebras
@@ Property / cites work: A categorical approach to polyadic algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+The abstract variable-binding calculus
@@ Property / cites work: The abstract variable-binding calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499303
@@ Property / cites work: Q4499303 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating Coalgebraic Notions of Bisimulation
@@ Property / cites work: Relating Coalgebraic Notions of Bisimulation / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2009.11.007
@@ Property / DOI: 10.1016/J.IC.2009.11.007 / rank @@
+Normal rank