1
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... systems -- online computation -- word equations -- biologically motivated formal systems -- controlled...