Practical coinduction (Q5361147): Difference between revisions

@@ Property / describes a project that uses @@
+CIRC
@@ Property / describes a project that uses: CIRC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837984
@@ Property / cites work: Q3837984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5178454
@@ Property / cites work: Q5178454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient recursive subtyping
@@ Property / cites work: Efficient recursive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Metric Coinduction
@@ Property / cites work: Applications of Metric Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying coalgebras with modal logic
@@ Property / cites work: Specifying coalgebras with modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Co-induction in relational semantics
@@ Property / cites work: Co-induction in relational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing coinduction and corecursion in higher-order logic
+Normal rank
@@ Property / cites work @@
+Circular Coinduction: A Proof Theoretical Foundation
+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 @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Rank-1 Modal Logics Are Coalgebraic
@@ Property / cites work: Rank-1 Modal Logics Are Coalgebraic / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129515000493
+Normal rank
@@ Property / OpenAlex ID @@
+W4246799966
@@ Property / OpenAlex ID: W4246799966 / rank @@
+Normal rank