%0 Conference Paper %1 conf/wollic/HeckleN14 %A Heckle, Zachary %A Naumov, Pavel %B WoLLIC %D 2014 %E Kohlenbach, Ulrich %E Barceló, Pablo %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 181-194 %T Common Knowledge Semantics of Armstrong's Axioms. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2014.html#HeckleN14 %V 8652 %@ 978-3-662-44144-2

@inproceedings{conf/wollic/HeckleN14, added-at = {2021-04-09T00:00:00.000+0200}, author = {Heckle, Zachary and Naumov, Pavel}, biburl = {https://www.bibsonomy.org/bibtex/247dd0c07d5b10018dcbdd18a8736a6f0/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2014}, editor = {Kohlenbach, Ulrich and Barceló, Pablo and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-662-44145-9_13}, interhash = {f625f2a7cadc06f852d5e993fa239cc3}, intrahash = {47dd0c07d5b10018dcbdd18a8736a6f0}, isbn = {978-3-662-44144-2}, keywords = {dblp}, pages = {181-194}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:24:54.000+0200}, title = {Common Knowledge Semantics of Armstrong's Axioms.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2014.html#HeckleN14}, volume = 8652, year = 2014 }