Coinductive predicates and final sequences in a fibration (Q265811): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2013.09.014
@@ Property / DOI: 10.1016/j.entcs.2013.09.014 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Paco
@@ Property / describes a project that uses: Paco / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2013.09.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2139427429
@@ Property / OpenAlex ID: W2139427429 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317961
@@ Property / Wikidata QID: Q113317961 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
+Normal rank
@@ Property / cites work @@
+On final coalgebras of continuous functors
@@ Property / cites work: On final coalgebras of continuous functors / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Perspective on Minimization and Determinization
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibrational Induction Meets Effects
@@ Property / cites work: Fibrational Induction Meets Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive and Coinductive Components of Corecursive Functions in Coq
+Normal rank
@@ Property / cites work @@
+Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal traces and path-based coalgebraic temporal logics
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux for the Coalgebraic μ-Calculus
@@ Property / cites work: EXPTIME Tableaux for the Coalgebraic μ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Games for Coalgebraic Fixed Point Logics
@@ Property / cites work: Modular Games for Coalgebraic Fixed Point Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Q4738222
@@ Property / cites work: Q4738222 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
+Normal rank
@@ Property / cites work @@
+Comparing operational models of name-passing process calculi
+Normal rank
@@ Property / cites work @@
+A congruence rule format for name-passing process calculi
+Normal rank
@@ Property / cites work @@
+Indexed Induction and Coinduction, Fibrationally
@@ Property / cites work: Indexed Induction and Coinduction, Fibrationally / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations II: Probabilistic Simulation
+Normal rank
@@ Property / cites work @@
+Coinductive predicates and final sequences in a fibration
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362971
@@ Property / cites work: Q4362971 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+The power of parameterization in coinductive proof
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847813
@@ Property / cites work: Q2847813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Modal Logic Beyond Sets
@@ Property / cites work: Coalgebraic Modal Logic Beyond Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Metric Coinduction
@@ Property / cites work: Applications of Metric Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal Sequence Induction via Games
@@ Property / cites work: Terminal Sequence Induction via Games / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+Normal rank
@@ Property / cites work @@
+A Categorical Model of the Fusion Calculus
@@ Property / cites work: A Categorical Model of the Fusion Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Relating coalgebraic notions of bisimulation
@@ Property / cites work: Relating coalgebraic notions of bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2013.09.014
@@ Property / DOI: 10.1016/J.ENTCS.2013.09.014 / rank @@
+Normal rank