Product Rules and Distributive Laws
From MaRDI portal
Publication:5739452
DOI10.1007/978-3-319-40370-0_8zbMath1475.18006OpenAlexW2483288391MaRDI QIDQ5739452
Publication date: 15 July 2016
Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01446036/file/418352_1_En_8_Chapter.pdf
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A coalgebraic perspective on linear weighted automata
- Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31--April 1, 2012. Revised selected papers
- Bialgebras for structural operational semantics: an introduction
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
- Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
- Universal coalgebra: A theory of systems
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Distributive laws for the coinductive solution of recursive equations
- A New Foundation for Finitary Corecursion
- Coalgebraic Characterizations of Context-Free Languages
- Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
- Defining Context-Free Power Series Coalgebraically
- Trace Semantics via Determinization
- Iterated distributive laws
- Context-Free Languages, Coalgebraically
- A Bialgebraic Approach to Automata and Formal Language Theory
- A coinductive calculus of streams
- Generalizing determinization from automata to coalgebras
- Derivatives of Regular Expressions
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
- Presenting Distributive Laws
This page was built for publication: Product Rules and Distributive Laws
