Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations
RAIRO-Theor. Inf. Appl., 37 2 (2003) 115-126
Published online: 15 November 2003
DOI: 10.1051/ita:2003013