Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/lics/HalpernS86
%A Halpern, Joseph Y.
%A Shoham, Yoav
%B LICS
%D 1986
%I IEEE Computer Society
%K dblp
%P 279-292
%T A Propositional Model Logic of Time Intervals
%U http://dblp.uni-trier.de/db/conf/lics/lics86.html#HalpernS86
%@ 0-8186-0720-3
@inproceedings{conf/lics/HalpernS86,
added-at = {2015-01-22T00:00:00.000+0100},
author = {Halpern, Joseph Y. and Shoham, Yoav},
biburl = {https://www.bibsonomy.org/bibtex/2fab02ce5b6091cf2a6d5648a6639a709/dblp},
booktitle = {LICS},
crossref = {conf/lics/1986},
interhash = {df09a0b8444b1c2f696b2e89a918f0bd},
intrahash = {fab02ce5b6091cf2a6d5648a6639a709},
isbn = {0-8186-0720-3},
keywords = {dblp},
pages = {279-292},
publisher = {IEEE Computer Society},
timestamp = {2015-06-20T03:11:52.000+0200},
title = {A Propositional Model Logic of Time Intervals},
url = {http://dblp.uni-trier.de/db/conf/lics/lics86.html#HalpernS86},
year = 1986
}