Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Article
Number of items: 1.
Article
Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. TABLEAUX 1998: Automated Reasoning with Analytic Tableaux and Related Methods, . pp. 108-123. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |