|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
173
|
Derivatives of regular expressions
– Janusz A. Brzozowski
- 1964
|
|
11
|
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
– Marina Lenisa
- 1999
|
|
36
|
Infinite trees and completely iterative theories: A coalgebraic view, Theoret
– P Aczel, J Adámek, S Milius, J Velebil
|
|
13
|
Algebraic specification and coalgebraic synthesis of Mealy machines
– J. J. M. M. Rutten
- 2006
|
|
256
|
Switching and finite automata theory
– Z Kohavi
- 1978
|
|
22
|
Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads
– Marina Lenisa, John Power, Hiroshi Watanabe
- 2000
|
|
31
|
On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling
– Falk Bartels
- 2004
|
|
156
|
N.: A Final Coalgebra Theorem
– P Aczel, Mendler
- 1989
|
|
51
|
Automata and coinduction (an exercise in coalgebra
– J. J. M. M. Rutten
- 1998
|
|
49
|
Partial Derivatives of Regular Expressions and Finite Automata Constructions
– Valentin Antimirov
- 1995
|
|
20
|
Recursion Schemes from Comonads
– Tarmo Uustalu, Varmo Vene, Alberto Pardo
- 2001
|
|
20
|
On the Productivity of Recursive List Definitions
– B A Sijtsma
- 1989
|
|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
21
|
On circuits and numbers
– Jean Vuillemin, Jean Vuillemin
- 1994
|
|
9
|
Synthesis of Uninitialized Systems
– Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang
- 2002
|
|
3
|
Behavioural dierential equations: a coinductive calculus of streams, automata, and power series
– J J M M Rutten
- 2000
|
|
6
|
power series, and coinduction: taking input derivatives seriously (extended abstract
– Automata
- 1999
|
