Stream differential equations: specification formats and solution methods
From MaRDI portal
Publication:2980965
Recommendations
Cites work
- scientific article; zbMATH DE number 718142 (Why is no real title available?)
- scientific article; zbMATH DE number 2040325 (Why is no real title available?)
- scientific article; zbMATH DE number 1497875 (Why is no real title available?)
- scientific article; zbMATH DE number 2183071 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 758277 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- (Co)algebraic characterizations of signal flow graphs
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
- A New Representation of the Rational Numbers for Fast Easy Arithmetic
- A coalgebraic perspective on linear weighted automata
- A coinductive calculus of streams
- A final coalgebra for \(k\)-regular sequences
- A proof of Moessner's theorem by coinduction
- A treatise on the calculus of finite differences.
- A tutorial on coinductive stream calculus and signal flow graphs
- Algebra and Coalgebra in Computer Science
- Automatic Sequences
- Automatic sequences and zip-specifications
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Bialgebraic methods and modal logic in structural operational semantics
- Bialgebras for structural operational semantics: an introduction
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction
- CIRC: A Circular Coinductive Prover
- Category theory for operational semantics
- Circular coinduction in Coq using bisimulation-up-to techniques
- Coalgebraic bisimulation-up-to
- Coalgebraic characterizations of context-free languages
- Complete sets of cooperations
- Concrete stream calculus: an extended study
- Context-free coalgebras
- Defining context-free power series coalgebraically
- Derivatives of Regular Expressions
- Distributive laws for the coinductive solution of recursive equations
- Elements of stream calculus (an extensive exercise in coinduction)
- Generalised coinduction
- Language constructs for non-well-founded computation
- Lazy productivity via termination
- Newton series, coinductively
- Noncommutative rational series with applications
- On the final coalgebra of automatic sequences
- Presenting distributive laws
- Productive coprogramming with guarded recursion
- Productivity of Stream Definitions
- Rational streams coalgebraically
- Representations of stream processors using nested fixed points
- Sound and complete axiomatizations of coalgebraic language equivalence
- Structural operational semantics.
- THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA
- The Haskell road to logic, maths and programming
- Universal coalgebra: A theory of systems
- Well-behaved translations between structural operational semantics
- Well-definedness of streams by transformation and termination
- Wellfounded recursion with copatterns: a unified approach to termination and productivity
Cited in
(9)- scientific article; zbMATH DE number 1870421 (Why is no real title available?)
- Products, polynomials and differential equations in the stream calculus
- Coinduction in Flow: The Later Modality in Fibrations
- Well-Definedness of Streams by Termination
- Distributive laws for monotone specifications
- An implicit function theorem for the stream calculus
- Integrating induction and coinduction via closure operators and proof cycles
- Well-definedness of streams by transformation and termination
- Companions, codensity and causality
Describes a project that uses
Uses Software
This page was built for publication: Stream differential equations: specification formats and solution methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980965)
