Automata, Power Series, and Coinduction: taking input derivatives seriously (Extended Abstract) (1999)

Cached

Download Links

by J. J. M. M. Rutten
Citations:6 - 1 self

Active Bibliography

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
Stream Differential Equations: concrete formats for coinductive definitions – Clemens Kupke, Milad Niqui, Jan Rutten - 2011
Kleene Coalgebra – an overview – Ra Silva, Marcello Bonsangue, Jan Rutten, Centrum Wiskunde
Coinductive Proof Techniques for Language Equivalence – Jurriaan Rot, Marcello Bonsangue, Jan Rutten
MFPS 2013 Varieties and covarieties of languages (preliminary version) – Adolfo Ballester-bolinches, Departament D Àlgebra, Enric Cosme-llópez, Departament D Àlgebra, Rutten Ballester-bolinches Cosme-llópez
1 Similarity Quotients as Final Coalgebras – Paul Blain Levy
From grammars and automata to algebras and coalgebras – Peter Padawitz - 2013
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
8 Generic trace theory – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2006
1 Kleene Algebras, Rewriting Modulo AC, and Circuits In Coq – Thomas Braibant - 2012
27 A coinductive calculus of streams – J. J. M. M. Rutten - 2005
1 Elements of stream calculus – J. J. M. M. Rutten - 2001
10 A Kleene theorem for polynomial coalgebras – Marcello Bonsangue, Jan Rutten, Ra Silva - 2009