%0 Conference Paper %1 conf/frocos/KopN13 %A Kop, Cynthia %A Nishida, Naoki %B FroCos %D 2013 %E Fontaine, Pascal %E Ringeissen, Christophe %E Schmidt, Renate A. %I Springer %K dblp %P 343-358 %T Term Rewriting with Logical Constraints. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2013.html#KopN13 %V 8152 %@ 978-3-642-40884-7

@inproceedings{conf/frocos/KopN13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Kop, Cynthia and Nishida, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/20029aae056a2e58628a92e44d8cb0963/dblp}, booktitle = {FroCos}, crossref = {conf/frocos/2013}, editor = {Fontaine, Pascal and Ringeissen, Christophe and Schmidt, Renate A.}, ee = {https://doi.org/10.1007/978-3-642-40885-4_24}, interhash = {a58048f98dcb107f43374e057f2aae8b}, intrahash = {0029aae056a2e58628a92e44d8cb0963}, isbn = {978-3-642-40884-7}, keywords = {dblp}, pages = {343-358}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:02:41.000+0200}, title = {Term Rewriting with Logical Constraints.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2013.html#KopN13}, volume = 8152, year = 2013 }