%0 Conference Paper %1 conf/wollic/Pakhomov17 %A Pakhomov, Fedor %B WoLLIC %D 2017 %E Kennedy, Juliette %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 281-294 %T Solovay's Completeness Without Fixed Points. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2017.html#Pakhomov17 %V 10388 %@ 978-3-662-55386-2

@inproceedings{conf/wollic/Pakhomov17, added-at = {2018-11-02T00:00:00.000+0100}, author = {Pakhomov, Fedor}, biburl = {https://www.bibsonomy.org/bibtex/279932503cba7d250b5e3212437ee1d30/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2017}, editor = {Kennedy, Juliette and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-662-55386-2_20}, interhash = {e332d655f21f742b291c2b7312ca6c81}, intrahash = {79932503cba7d250b5e3212437ee1d30}, isbn = {978-3-662-55386-2}, keywords = {dblp}, pages = {281-294}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:00:52.000+0200}, title = {Solovay's Completeness Without Fixed Points.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2017.html#Pakhomov17}, volume = 10388, year = 2017 }