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

RIS format (EndNote, RefMan)

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