%0 Conference Paper %1 conf/itp/BastonC18 %A Baston, Colm %A Capretta, Venanzio %B ITP %D 2018 %E Avigad, Jeremy %E Mahboubi, Assia %I Springer %K dblp %P 126-141 %T The Coinductive Formulation of Common Knowledge. %U http://dblp.uni-trier.de/db/conf/itp/itp2018.html#BastonC18 %V 10895 %@ 978-3-319-94821-8

@inproceedings{conf/itp/BastonC18, added-at = {2018-11-02T00:00:00.000+0100}, author = {Baston, Colm and Capretta, Venanzio}, biburl = {https://www.bibsonomy.org/bibtex/2018e4cf66656dc1c28396a74f0a4345d/dblp}, booktitle = {ITP}, crossref = {conf/itp/2018}, editor = {Avigad, Jeremy and Mahboubi, Assia}, ee = {https://doi.org/10.1007/978-3-319-94821-8_8}, interhash = {5996aca401efb4ce1b1abf0da6c622d1}, intrahash = {018e4cf66656dc1c28396a74f0a4345d}, isbn = {978-3-319-94821-8}, keywords = {dblp}, pages = {126-141}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:16.000+0200}, title = {The Coinductive Formulation of Common Knowledge.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2018.html#BastonC18}, volume = 10895, year = 2018 }