BibTex format
@inproceedings{Darlington:1994,
author = {Darlington, J and Guo, Y},
publisher = {Springer-Verlag},
title = {Constraint Logic Programming in the Sequent Calculus},
year = {1994}
}
Publications from our Researchers
Several of our current PhD candidates and fellow researchers at the Data Science Institute have published, or in the proccess of publishing, papers to present their research.
Citation
RIS format (EndNote, RefMan)
TY - CPAPER
AU - Darlington,J
AU - Guo,Y
PB - Springer-Verlag
PY - 1994///
TI - Constraint Logic Programming in the Sequent Calculus
ER -
Contact us
Data Science Institute
William Penney Laboratory
Imperial College London
South Kensington Campus
London SW7 2AZ
United Kingdom
Email us.
Sign up to our mailing list.
Follow us on Twitter, LinkedIn and Instagram.
