%0 Conference Paper %1 conf/wollic/BraunerBP16 %A Braüner, Torben %A Blackburn, Patrick %A Polyanskaya, Irina %B WoLLIC %D 2016 %E Väänänen, Jouko A. %E Hirvonen, Åsa %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 125-144 %T Second-Order False-Belief Tasks: Analysis and Formalization. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#BraunerBP16 %V 9803 %@ 978-3-662-52920-1

@inproceedings{conf/wollic/BraunerBP16, added-at = {2020-09-05T00:00:00.000+0200}, author = {Braüner, Torben and Blackburn, Patrick and Polyanskaya, Irina}, biburl = {https://www.bibsonomy.org/bibtex/22c5b21ed622f991d77080c88e57d90fd/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2016}, editor = {Väänänen, Jouko A. and Hirvonen, Åsa and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-662-52921-8_9}, interhash = {a124654974aba52981ea98bd320ac14a}, intrahash = {2c5b21ed622f991d77080c88e57d90fd}, isbn = {978-3-662-52920-1}, keywords = {dblp}, pages = {125-144}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T14:48:13.000+0200}, title = {Second-Order False-Belief Tasks: Analysis and Formalization.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#BraunerBP16}, volume = 9803, year = 2016 }