Products, polynomials and differential equations in the stream calculus

DOI10.1145/3632747MaRDI QIDQ6493418

Luisa Collodi, Daniele Gorla, Michele Boreale

Publication date: 26 April 2024

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

zbMATH Keywords

coalgebrapolynomialsdifferential equationsalgebraic geometrystreams

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A coalgebraic perspective on linear weighted automata
• Bialgebras for structural operational semantics: an introduction
• Trajectories of polynomial vector fields and ascending chains of polynomial ideals
• A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Nonlinear systems.
• Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
• Weighted Bisimulation in Linear Algebraic Form
• Non-linear loop invariant generation using Gröbner bases
• Newton series, coinductively: a comparative study of composition
• Coinduction up-to in a fibrational setting
• A coinductive calculus of streams
• On the Coalgebra of Partial Differential Equations
• (Co)Algebraic Characterizations of Signal Flow Graphs
• Coalgebras for Bisimulation of Weighted Automata over Semirings
• Presenting Distributive Laws
• 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)