DrSteffenvan Bakel

Faculty of Engineering, Department of Computing

Senior Lecturer

Contact

+44 (0)20 7594 8263s.van.bakel Website

Location

425Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{van:1992,
author = {van, Bakel S and Smetsers, S and Brock, S},
pages = {300--321},
publisher = {Springer-Verlag},
title = {Partial Type Assignment in Left Linear Applicative Term Rewriting Systems},
year = {1992}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - van,Bakel S
AU  - Smetsers,S
AU  - Brock,S
EP  - 321
PB  - Springer-Verlag
PY  - 1992///
SP  - 300
TI  - Partial Type Assignment in Left Linear Applicative Term Rewriting Systems
ER  -

Download