Turing machines, transition systems, and interaction
Goldin, Dina Q., Smolka, Scott A., Attie, Paul C., Sonderegger, Elaine L.
Published in Information and computation (01.11.2004)
Published in Information and computation (01.11.2004)
Get full text
Journal Article