BibTex format
@inproceedings{Darlington:1994,
author = {Darlington, J and Guo, Y},
publisher = {Springer-Verlag},
title = {Constraint Logic Programming in the Sequent Calculus},
year = {1994}
}
In this section
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.
@inproceedings{Darlington:1994,
author = {Darlington, J and Guo, Y},
publisher = {Springer-Verlag},
title = {Constraint Logic Programming in the Sequent Calculus},
year = {1994}
}
TY - CPAPER
AU - Darlington,J
AU - Guo,Y
PB - Springer-Verlag
PY - 1994///
TI - Constraint Logic Programming in the Sequent Calculus
ER -
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.