%0 Conference Paper %1 conf/cade/SatoW15 %A Sato, Haruhiko %A Winkler, Sarah %B CADE %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer %K dblp %P 152-162 %T Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. %U http://dblp.uni-trier.de/db/conf/cade/cade2015.html#SatoW15 %V 9195 %@ 978-3-319-21400-9

@inproceedings{conf/cade/SatoW15, added-at = {2020-12-29T00:00:00.000+0100}, author = {Sato, Haruhiko and Winkler, Sarah}, biburl = {https://www.bibsonomy.org/bibtex/27b17cc1fb586312c1b53d832187ccb14/dblp}, booktitle = {CADE}, crossref = {conf/cade/2015}, editor = {Felty, Amy P. and Middeldorp, Aart}, ee = {https://doi.org/10.1007/978-3-319-21401-6_10}, interhash = {cc693f08fd205d4daf4a3e43f830e146}, intrahash = {7b17cc1fb586312c1b53d832187ccb14}, isbn = {978-3-319-21400-9}, keywords = {dblp}, pages = {152-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:08:55.000+0200}, title = {Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2015.html#SatoW15}, volume = 9195, year = 2015 }