%0 Conference Paper %1 conf/time/MikulasRF09 %A Mikulás, Szabolcs %A Reynolds, Mark %A French, Tim %B TIME %D 2009 %E Lutz, Carsten %E Raskin, Jean-François %I IEEE Computer Society %K dblp %P 81-87 %T Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. %U http://dblp.uni-trier.de/db/conf/time/time2009.html#MikulasRF09 %@ 978-0-7695-3727-6

@inproceedings{conf/time/MikulasRF09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Mikulás, Szabolcs and Reynolds, Mark and French, Tim}, biburl = {https://www.bibsonomy.org/bibtex/2113319b586e8585ed348c734ccb88e6c/dblp}, booktitle = {TIME}, crossref = {conf/time/2009}, editor = {Lutz, Carsten and Raskin, Jean-François}, ee = {https://doi.ieeecomputersociety.org/10.1109/TIME.2009.18}, interhash = {27f397226a728961e1b44efb9c50a0c4}, intrahash = {113319b586e8585ed348c734ccb88e6c}, isbn = {978-0-7695-3727-6}, keywords = {dblp}, pages = {81-87}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:34:36.000+0200}, title = {Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.}, url = {http://dblp.uni-trier.de/db/conf/time/time2009.html#MikulasRF09}, year = 2009 }