|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lirmm-01279151v1
Communication dans un congrès
Laurent Bienvenu, Damien Desfontaines, Alexander Shen. What Percentage of Programs Halt?IICALP: nternational Colloquium on Automata, Languages, and Programming, Jul 2015, Kyoto, Japan. Springer, 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I, LNCS (9134), pp.219-230, 2015, Automata, Languages, and Programming. <http://link.springer.com/10.1007/978-3-662-47672-7>. <10.1007/978-3-662-47672-7>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|