Keyword:halting problem

Publications
Polynomial Loops: Beyond Termination Marcel Hark, Florian Frohn and Jürgen Giesl In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Representation and Reality by Language: How to make a home quantum computer? Vasil Penchev EasyChair Preprint 3371