2003
Ce document est lié à :
0988-3754
Olivier Finkel, « Undecidability of topological and arithmetical properties of infinitary rational relations », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.e7aad4...