|
1
|
High-Level Circuit Design
– Eric C. R. Hehner, Theodore S. Norvell, Richard F. Paige
|
|
2
|
Finite circuits are characterized by 2-algebraic truth tables
– J Vuillemin
- 1961
|
|
1
|
Digital algebra and circuits
– Jean Vuillemin
- 2003
|
|
1
|
Automata and coinduction
– J J M M Rutten
- 1998
|
|
1
|
power series, and coinduction
– Automata
- 1999
|
|
1
|
Behavioural differential equations
– J J M M Rutten
- 2003
|
|
4
|
A Coalgebraic Approach to Kleene Algebra with Tests
– Hubie Chen, Riccardo Pucella
- 2003
|
|
8
|
Derivation of rational expressions with multiplicity
– S Lombardy, J Sakarovitch
|
|
86
|
From regular expressions to deterministic automata
– G Berry, R Sethi
- 1986
|
|
21
|
On circuits and numbers
– Jean Vuillemin, Jean Vuillemin
- 1994
|
|
256
|
Switching and finite automata theory
– Z Kohavi
- 1978
|
|
132
|
Rational series and their languages
– J Berstel, C Reutenauer
- 1988
|
|
152
|
p-adic Numbers, p-adic Analysis and Zeta Functions
– N Koblitz
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
21
|
Higher Order Logic and Hardware Verification
– T Melham
- 1993
|
|
233
|
Regular Algebra and Finite Machines
– J Conway
- 1971
|
|
163
|
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
– Dexter Kozen
- 1994
|
|
173
|
Derivatives of regular expressions
– Janusz A. Brzozowski
- 1964
|
