An implicit function theorem for the stream calculus

DOI10.46298/LMCS-20(2:15)2024MaRDI QIDQ6563062zbMATH OpenFDO

Authors Michele Boreale, Luisa Collodi, Daniele Gorla

Publication date 27 June 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-20(2:15)2024

Mathematics Subject Classification ID

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

Cites work

• A coinductive calculus of streams
• A numerical methodology for the Painlevé equations
• A tutorial on coinductive stream calculus and signal flow graphs
• Algebra and coalgebra of stream products
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Bialgebras for structural operational semantics: an introduction
• Companions, codensity and causality
• Elements of stream calculus (an extensive exercise in coinduction)
• Formal Methods for Components and Objects
• Full abstraction for signal flow graphs
• Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday
• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 3932372 (Why is no real title available?)
• scientific article; zbMATH DE number 3711281 (Why is no real title available?)
• scientific article; zbMATH DE number 3539473 (Why is no real title available?)
• scientific article; zbMATH DE number 1931185 (Why is no real title available?)
• Ideals, Varieties, and Algorithms
• Stream differential equations: specification formats and solution methods
• The calculus of signal flow diagrams. I: Linear relations on streams.
• The theory of Newton's method

This page was built for publication: An implicit function theorem for the stream calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6563062)