Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/time/Heinemann03
%A Heinemann, Bernhard
%B TIME
%D 2003
%I IEEE Computer Society
%K dblp
%P 10-16
%T An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge.
%U http://dblp.uni-trier.de/db/conf/time/time2003.html#Heinemann03
%@ 0-7695-1912-1
@inproceedings{conf/time/Heinemann03,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Heinemann, Bernhard},
biburl = {https://www.bibsonomy.org/bibtex/21c75f84ac1c1ca325f781ed2f8cef1c4/dblp},
booktitle = {TIME},
crossref = {conf/time/2003},
ee = {https://doi.ieeecomputersociety.org/10.1109/TIME.2003.1214875},
interhash = {fc1d599c160f0d984fb48cabfcef65ab},
intrahash = {1c75f84ac1c1ca325f781ed2f8cef1c4},
isbn = {0-7695-1912-1},
keywords = {dblp},
pages = {10-16},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T15:34:21.000+0200},
title = {An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge.},
url = {http://dblp.uni-trier.de/db/conf/time/time2003.html#Heinemann03},
year = 2003
}