Login / Signup

B and D Are Enough to Make the Halpern-Shoham Logic Undecidable.

Jerzy MarcinkowskiJakub MichaliszynEmanuel Kieronski
Published in: ICALP (2) (2010)
Keyphrases