@book{7cb68af9bf8c4d5d8e5f439f5d5d4fc3,
title = "Turing machines with one-sided advice and the acceptance of the co-RE languages",
abstract = "We resolve an old problem, namely to design a {\textquoteleft}natural{\textquoteright} machine model for accepting the complements of recursively enumerable languages.",
author = "{van Leeuwen}, Jan and Ji{\v r}{\'i} Wiedermann",
year = "2014",
month = feb,
language = "English",
volume = "UU-CS-2014-003",
series = "Technical Report Series",
publisher = "UU BETA ICS Departement Informatica",
number = "UU-CS-2014-003",
}