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:2013,
author = {Hodkinson, I},
pages = {155--177},
publisher = {World Scientific},
title = {Simple completeness proofs for some spatial logics of the real line},
url = {http://www.worldscientific.com/},
year = {2013}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Hodkinson,I
EP  - 177
PB  - World Scientific
PY  - 2013///
SP  - 155
TI  - Simple completeness proofs for some spatial logics of the real line
UR  - http://www.worldscientific.com/
ER  -

Download