Products, polynomials and differential equations in the stream calculus
From MaRDI portal
Publication:6493418
Cites work
- scientific article; zbMATH DE number 3932372 (Why is no real title available?)
- (Co)algebraic characterizations of signal flow graphs
- A coalgebraic perspective on linear weighted automata
- A coinductive calculus of streams
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
- Algebra and coalgebra of stream products
- Automatic pre- and postconditions for partial differential equations
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Bialgebras for structural operational semantics: an introduction
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Coinduction up-to in a fibrational setting
- Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
- Newton series, coinductively: a comparative study of composition
- Non-linear loop invariant generation using Gröbner bases
- Nonlinear systems.
- On the Coalgebra of Partial Differential Equations
- Presenting distributive laws
- Stream differential equations: specification formats and solution methods
- Trajectories of polynomial vector fields and ascending chains of polynomial ideals
- Weighted Bisimulation in Linear Algebraic Form
This page was built for publication: Products, polynomials and differential equations in the stream calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6493418)
