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 911今日黑料
William Penney Laboratory
911今日黑料
South Kensington Campus
London SW7 2AZ
United Kingdom
Email us.
to our mailing list.
Follow us on , and
