The Ultimate Undecidability Result for the Halpern-Shoham Logic.

Authors :: Marcinkowski, J.
Michaliszyn, J.
Source :: 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS); 2011, p377-386, 10p
Publication Year :: 2011

Language :: English
ISBNs :: 9781457704512
Database :: Complementary Index
Journal :: 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS)
Publication Type :: Conference
Accession number :: 80328339
Full Text :: https://doi.org/10.1109/LICS.2011.21