## Yijia Chen, Jörg Flum

*A Logic for PTIME and a Parameterized Halting Problem*

LICS, 2009.

@inproceedings{LICS-2009-ChenF, author = "Yijia Chen and Jörg Flum", booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2009.11", isbn = "978-0-7695-3746-7", pages = "397--406", publisher = "{IEEE Computer Society}", title = "{A Logic for PTIME and a Parameterized Halting Problem}", year = 2009, }