The completeness and soundness of temporal theories

H. Zhao, J. Ma, Miltiadis Petridis

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

Original language	English
Title of host publication	ECAI-08 Workshop on Spatial and Temporal Reasoning
Pages	46-57
Number of pages	12
Publication status	Published - 22 Jul 2008
Event	ECAI-08 Workshop on Spatial and Temporal Reasoning - Patras, Greece Duration: 22 Jul 2008 → …

Workshop	ECAI-08 Workshop on Spatial and Temporal Reasoning
Period	22/07/08 → …

Cite this

@inproceedings{bf258821de9a48c581f8cbf7232d8ec7,

title = "The completeness and soundness of temporal theories",

author = "H. Zhao and J. Ma and Miltiadis Petridis",

year = "2008",

month = jul,

day = "22",

language = "English",

pages = "46--57",

booktitle = "ECAI-08 Workshop on Spatial and Temporal Reasoning",

note = "ECAI-08 Workshop on Spatial and Temporal Reasoning ; Conference date: 22-07-2008",

}