Q2980965 (Q2980965): Difference between revisions

@@ Property / describes a project that uses @@
+CliffOC
@@ Property / describes a project that uses: CliffOC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CliffMath
@@ Property / describes a project that uses: CliffMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CliffSymNil
@@ Property / describes a project that uses: CliffSymNil / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Genius
@@ Property / describes a project that uses: Genius / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CIRC
@@ Property / describes a project that uses: CIRC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLT
@@ Property / describes a project that uses: CLT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08367
@@ Property / arXiv ID: 1609.08367 / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded recursion with copatterns
@@ Property / cites work: Wellfounded recursion with copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Sequences
@@ Property / cites work: Automatic Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Productive coprogramming with guarded recursion
@@ Property / cites work: Productive coprogramming with guarded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised coinduction
@@ Property / cites work: Generalised coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+(Co)Algebraic Characterizations of Signal Flow Graphs
+Normal rank
@@ Property / cites work @@
+Newton Series, Coinductively
@@ Property / cites work: Newton Series, Coinductively / rank @@
+Normal rank
@@ Property / cites work @@
+Q3056218
@@ Property / cites work: Q3056218 / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic perspective on linear weighted automata
+Normal rank
@@ Property / cites work @@
+Presenting Distributive Laws
@@ Property / cites work: Presenting Distributive Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Defining Context-Free Power Series Coalgebraically
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
+Normal rank
@@ Property / cites work @@
+Q3057457
@@ Property / cites work: Q3057457 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4912026
@@ Property / cites work: Q4912026 / rank @@
+Normal rank
@@ Property / cites work @@
+Productivity of Stream Definitions
@@ Property / cites work: Productivity of Stream Definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Sequences and Zip-Specifications
@@ Property / cites work: Automatic Sequences and Zip-Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy productivity via termination
@@ Property / cites work: Lazy productivity via termination / rank @@
+Normal rank
@@ Property / cites work @@
+Circular Coinduction in Coq Using Bisimulation-Up-To Techniques
+Normal rank
@@ Property / cites work @@
+THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA
+Normal rank
@@ Property / cites work @@
+Representations of Stream Processors Using Nested Fixed Points
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+A Final Coalgebra for k-regular Sequences
@@ Property / cites work: A Final Coalgebra for k-regular Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+A New Representation of the Rational Numbers for Fast Easy Arithmetic
+Normal rank
@@ Property / cites work @@
+Concrete stream calculus: An extended study
@@ Property / cites work: Concrete stream calculus: An extended study / rank @@
+Normal rank
@@ Property / cites work @@
+A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
+Normal rank
@@ Property / cites work @@
+Distributive laws for the coinductive solution of recursive equations
+Normal rank
@@ Property / cites work @@
+Language Constructs for Non-Well-Founded Computation
+Normal rank
@@ Property / cites work @@
+Bialgebraic methods and modal logic in structural operational semantics
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Complete sets of cooperations
@@ Property / cites work: Complete sets of cooperations / rank @@
+Normal rank
@@ Property / cites work @@
+On the Final Coalgebra of Automatic Sequences
@@ Property / cites work: On the Final Coalgebra of Automatic Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499306
@@ Property / cites work: Q4499306 / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory for operational semantics
@@ Property / cites work: Category theory for operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681771
@@ Property / cites work: Q4681771 / rank @@
+Normal rank
@@ Property / cites work @@
+CIRC: A Behavioral Verification Tool Based on Circular Coinduction
+Normal rank
@@ Property / cites work @@
+CIRC: A Circular Coinductive Prover
@@ Property / cites work: CIRC: A Circular Coinductive Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Moessner's theorem by coinduction
@@ Property / cites work: A proof of Moessner's theorem by coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Bisimulation-Up-To
@@ Property / cites work: Coalgebraic Bisimulation-Up-To / 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 @@
+Elements of Stream Calculus
@@ Property / cites work: Elements of Stream Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+Q4449540
@@ Property / cites work: Q4449540 / rank @@
+Normal rank
@@ Property / cites work @@
+A coinductive calculus of streams
@@ Property / cites work: A coinductive calculus of streams / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on coinductive stream calculus and signal flow graphs
+Normal rank
@@ Property / cites work @@
+Rational streams coalgebraically
@@ Property / cites work: Rational streams coalgebraically / rank @@
+Normal rank
@@ Property / cites work @@
+Q4834167
@@ Property / cites work: Q4834167 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-behaved Translations between Structural Operational Semantics
+Normal rank
@@ Property / cites work @@
+Coalgebraic Characterizations of Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Context-free coalgebras
@@ Property / cites work: Context-free coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Well-definedness of Streams by Transformation and Termination
+Normal rank