%0 Conference Paper %1 conf/lopstr/CominiGTV15 %A Comini, Marco %A del Mar Gallardo, María %A Titolo, Laura %A Villanueva, Alicia %B LOPSTR %D 2015 %E Falaschi, Moreno %I Springer %K dblp %P 163-178 %T Abstract Analysis of Universal Properties for tccp. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2015.html#CominiGTV15 %V 9527 %@ 978-3-319-27435-5

@inproceedings{conf/lopstr/CominiGTV15, added-at = {2017-06-15T00:00:00.000+0200}, author = {Comini, Marco and del Mar Gallardo, María and Titolo, Laura and Villanueva, Alicia}, biburl = {https://www.bibsonomy.org/bibtex/29bc15781535ee39afedf130a8a617b0a/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2015}, editor = {Falaschi, Moreno}, ee = {https://doi.org/10.1007/978-3-319-27436-2_10}, interhash = {d0fb652612a99f1bd792c1a4e9845dfd}, intrahash = {9bc15781535ee39afedf130a8a617b0a}, isbn = {978-3-319-27435-5}, keywords = {dblp}, pages = {163-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:53.000+0200}, title = {Abstract Analysis of Universal Properties for tccp.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2015.html#CominiGTV15}, volume = 9527, year = 2015 }