<?xml version="1.0"?>
<dblp>
<article key="journals/corr/abs-0909-0736" mdate="2009-10-02">
<author>Olivier Finkel</author>
<author>Dominique Lecomte</author>
<title>Decision Problems For Turing Machines</title>
<ee>http://arxiv.org/abs/0909.0736</ee>
<year>2009</year>
<journal>CoRR</journal>
<volume>abs/0909.0736</volume>
<url>db/journals/corr/corr0909.html#abs-0909-0736</url>
<note>informal publication</note>
</article>
</dblp>
