![](/img/cover-not-exists.png)
Temporal logics with incommensurable distances are undecidable
Alexander RabinovichVolume:
205
Year:
2007
Language:
english
Pages:
9
DOI:
10.1016/j.ic.2006.11.002
File:
PDF, 186 KB
english, 2007