1
A new kind of science /
Book
...MDG - Automata theory...
2
On three hierarchies of weak SKS formulas.
Book
...MDG - Automata theory...
3
A call by need implementation of syntax directed functional programming.
Book
...MDG - Automata theory...
4
A short guide to the amore system: computing automata, monoids, and regular expressions.
Book
Jansen, V.
1990
...MDG - Automata theory...