BibTeX record conf/csclp/DaoD06

• > Home > conf/csclp/DaoD06

@inproceedings{DBLP:conf/csclp/DaoD06,
  author       = {Thi{-}Bich{-}Hanh Dao and
                  Khalil Djelloul},
  editor       = {Francisco Azevedo and
                  Pedro Barahona and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {Solving First-Order Constraints in the Theory of the Evaluated Trees},
  booktitle    = {Recent Advances in Constraints, 11th Annual {ERCIM} International
                  Workshop on Constraint Solving and Contraint Logic Programming, {CSCLP}
                  2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4651},
  pages        = {108--123},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-73817-6\_7},
  doi          = {10.1007/978-3-540-73817-6\_7},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/DaoD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}