Title | On Incompleteness of Multi-Dimensional First-Order Temporal Logics |
Publication Type | Conference Paper |
Year of Publication | 2003 |
Authors | Toman, D. |
Conference Name | International Symposium/Workshop on Temporal Representation and Reasoning (TIME) |
DOI | 10.1109/TIME.2003.1214885 |