Emeritus ProfessorIanHodkinson

Faculty of Engineering, Department of Computing

Emeritus Professor of Logic and Computation

Contact

i.hodkinson Website

Location

noneHuxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Hodkinson:2010:10.1109/TIME.2010.28,
author = {Hodkinson, I},
doi = {10.1109/TIME.2010.28},
title = {Interval temporal logics with chop-like operators},
url = {http://dx.doi.org/10.1109/TIME.2010.28},
year = {2010}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Hodkinson,I
DO  - 10.1109/TIME.2010.28
PY  - 2010///
TI  - Interval temporal logics with chop-like operators
UR  - http://dx.doi.org/10.1109/TIME.2010.28
ER  -

Download