© University of Kent - Contact | Feedback | Legal | FOI | Cookies
On restricted forms of enumeration reducibility
P. Watson
Annals of Pure and Applied Logic, 49:182-196, January 1990.Bibtex Record
@article{723,
author = {P. Watson},
title = {On restricted forms of enumeration reducibility},
month = {January},
year = {1990},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1990/723},
journal = {Annals of Pure and Applied Logic},
volume = {49},
}