Imperial College London

DrSteffenvan Bakel

Faculty of EngineeringDepartment 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:2010,
author = {van, Bakel S and Berardi, S and Berger, S},
title = {Proceedings Third International Workshop on Classical Logic and Computation CL&C 2010},
year = {2010}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AU - van,Bakel S
AU - Berardi,S
AU - Berger,S
PY - 2010///
TI - Proceedings Third International Workshop on Classical Logic and Computation CL&C 2010
ER -