© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A generator for Turing machine simulation programs - user's manual
P.R.J. Asveld and E.A. Boiten
Memorandum INF-86-31, Universiteit Twente, January 1986.Bibtex Record
@techreport{199, author = {P.R.J. Asveld and E.A. Boiten}, title = {A Generator for {T}uring Machine Simulation Programs - user's manual}, month = {January}, year = {1986}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1986/199}, institution = {Universiteit Twente}, number = {INF-86-31}, type = {Memorandum}, }