A Logic for PTIME and a Parameterized Halting Problem.

Yijia Chen, Jrg Flum

Browse the full LICS paper archive.