The halting problem for linear turing assemblers
Indecomposable parallel maps in tessellation structures
On the structure of abelian automata
A useful device for showing the solvability of some decision problems
Hazard analysis of asynchronous circuits in Muller-Bartky's sense
Automaton introspection
Finding the median
Varieties of ordered algebras
Some convergence results on the method of gradients for Ax=λBx
Un théorème de duplication pour les forêts algébriques