Linear Constraints over Infinite Trees. Hofmann 0001, M. & Rodriguez, D. In Proceedings of Logic Programming and Automated Reasoning (LPAR), pages 343-358, 2012. ![Linear Constraints over Infinite Trees [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp2677317,
title = {Linear Constraints over Infinite Trees},
author = {Martin Hofmann 0001 and Dulma Rodriguez},
author_short = {Hofmann 0001, M. and Rodriguez, D.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp2677317},
id = {dblp2677317},
biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/HofmannR12},
url = {http://dx.doi.org/10.1007/978-3-642-28717-6_27},
conference = {LPAR},
pages = {343-358},
text = {LPAR 2012:343-358},
booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f57"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Rodriguez, D."],"bibbaseid":"hofmann0001-rodriguez-linearconstraintsoverinfinitetrees-2012","bibdata":{"title":"Linear Constraints over Infinite Trees","author":["Martin Hofmann 0001","Dulma Rodriguez"],"author_short":["Hofmann 0001, M.","Rodriguez, D."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2677317","id":"dblp2677317","biburl":"http://www.dblp.org/rec/bibtex/conf/lpar/HofmannR12","url":"http://dx.doi.org/10.1007/978-3-642-28717-6_27","conference":"LPAR","pages":"343-358","text":"LPAR 2012:343-358","booktitle":"Proceedings of Logic Programming and Automated Reasoning (LPAR)","bibtex":"@inproceedings{ dblp2677317,\n title = {Linear Constraints over Infinite Trees},\n author = {Martin Hofmann 0001 and Dulma Rodriguez},\n author_short = {Hofmann 0001, M. and Rodriguez, D.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2677317},\n id = {dblp2677317},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/HofmannR12},\n url = {http://dx.doi.org/10.1007/978-3-642-28717-6_27},\n conference = {LPAR},\n pages = {343-358},\n text = {LPAR 2012:343-358},\n booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}\n}","bibbaseid":"hofmann0001-rodriguez-linearconstraintsoverinfinitetrees-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-28717-6_27"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lpar/HofmannR12","downloads":0,"keywords":[],"search_terms":["linear","constraints","over","infinite","trees","hofmann 0001","rodriguez"],"title":"Linear Constraints over Infinite Trees","year":2012,"dataSources":["5X3okMK8XjwJKMK2q"]}