BibTeX
@proceedings{DBLP:conf/ccl/1999,
editor = {Hubert Comon and
Claude March{\'e} and
Ralf Treinen},
title = {Constraints in Computational Logics: Theory and Applications,
International Summer School, CCL'99 Gif-sur-Yvette, France,
September 5-8, 1999, Revised Lectures},
booktitle = {CCL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2002},
year = {2001},
isbn = {3-540-41950-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)