MrJimCunningham

Faculty of Engineering, Department of Computing

Emeritus Reader in Computing

Contact

+44 (0)20 7594 8284j.cunningham Website

Location

450Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Williams:2003,
author = {Williams, A and Cunningham, J},
pages = {81--92},
title = {A prefix notation and unification algorithm for encoding modal logics},
year = {2003}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Williams,A
AU  - Cunningham,J
EP  - 92
PY  - 2003///
SP  - 81
TI  - A prefix notation and unification algorithm for encoding modal logics
ER  -

Download