Output details
11 - Computer Science and Informatics
De Montfort University
Article title
A complete axiom system for propositional interval temporal logic with infinite time
Type
D - Journal article
Title of journal
Logical Methods in Computer Science
Article number
Paper 10
Volume number
8
Issue number
3
First page of article
1
ISSN of journal
1860-5974
Year of publication
2012
URL
-
Number of additional authors
0
Additional information
<11> Prior to this article's publication, I gave invited lectures on the topic at Queen Mary, University of London, the universities of Durham, Edinburgh, Newcastle, Sheffield and also Augsburg and Wurzburg in Germany.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Software Technology Research Laboratory (STRL)
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
