© 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},
}