On Incompleteness of Multi-Dimensional First-Order Temporal Logics
| Title | On Incompleteness of Multi-Dimensional First-Order Temporal Logics |
|---|---|
| Author | |
| Year of Publication |
2003
|
| Conference Name |
On Incompleteness of Multi-Dimensional First-Order Temporal Logics
|
| DOI |
10.1109/TIME.2003.1214885
|
| Download citation |