Products, polynomials and differential equations in the stream calculus
From MaRDI portal
Publication:6493418
DOI10.1145/3632747MaRDI QIDQ6493418FDOQ6493418
Authors: Michele Boreale, Luisa Collodi, Daniele Gorla 
Publication date: 26 April 2024
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Cites Work
- Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
- Nonlinear systems.
- A coinductive calculus of streams
- Bialgebras for structural operational semantics: an introduction
- Non-linear loop invariant generation using Gröbner bases
- Title not available (Why is that?)
- A coalgebraic perspective on linear weighted automata
- Coinduction up-to in a fibrational setting
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Presenting distributive laws
- Weighted Bisimulation in Linear Algebraic Form
- (Co)algebraic characterizations of signal flow graphs
- Trajectories of polynomial vector fields and ascending chains of polynomial ideals
- On the Coalgebra of Partial Differential Equations
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
- Stream differential equations: specification formats and solution methods
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Newton series, coinductively: a comparative study of composition
- Automatic pre- and postconditions for partial differential equations
- Algebra and coalgebra of stream products
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)
