Type-based homeomorphic embedding for online termination
Elvira Albert, John Gallagher, Miguel Gómez-Zamalloa, Germán PueblaVolume:
109
Year:
2009
Language:
english
Pages:
8
DOI:
10.1016/j.ipl.2009.04.016
File:
PDF, 192 KB
english, 2009