%0 Conference Paper %1 conf/epia/CorreiaB09 %A Correia, Marco %A Barahona, Pedro %B EPIA %D 2009 %E Lopes, Luís Seabra %E Lau, Nuno %E Mariano, Pedro %E Rocha, Luis M. %I Springer %K dblp %P 201-212 %T Type Parametric Compilation of Algebraic Constraints. %U http://dblp.uni-trier.de/db/conf/epia/epia2009.html#CorreiaB09 %V 5816 %@ 978-3-642-04685-8

@inproceedings{conf/epia/CorreiaB09, added-at = {2018-11-02T00:00:00.000+0100}, author = {Correia, Marco and Barahona, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/27d1fe1cd839c99816a917ea0d6321f0d/dblp}, booktitle = {EPIA}, crossref = {conf/epia/2009}, editor = {Lopes, Luís Seabra and Lau, Nuno and Mariano, Pedro and Rocha, Luis M.}, ee = {https://doi.org/10.1007/978-3-642-04686-5_17}, interhash = {47eb030cfed8e39729e6b1364c93b52e}, intrahash = {7d1fe1cd839c99816a917ea0d6321f0d}, isbn = {978-3-642-04685-8}, keywords = {dblp}, pages = {201-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:53:36.000+0200}, title = {Type Parametric Compilation of Algebraic Constraints.}, url = {http://dblp.uni-trier.de/db/conf/epia/epia2009.html#CorreiaB09}, volume = 5816, year = 2009 }