%0 Conference Paper %1 conf/rta/0001TK17 %A Aoto, Takahito %A Toyama, Yoshihito %A Kimura, Yuta %B FSCD %D 2017 %E Miller, Dale %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 7:1-7:18 %T Improving Rewriting Induction Approach for Proving Ground Confluence. %U http://dblp.uni-trier.de/db/conf/rta/fscd2017.html#0001TK17 %V 84 %@ 978-3-95977-047-7

@inproceedings{conf/rta/0001TK17, added-at = {2018-08-23T00:00:00.000+0200}, author = {Aoto, Takahito and Toyama, Yoshihito and Kimura, Yuta}, biburl = {https://www.bibsonomy.org/bibtex/2a97df6360be06f9f043d030ccb686f08/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2017}, editor = {Miller, Dale}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2017.7}, interhash = {999d0880655a074975393202bd880039}, intrahash = {a97df6360be06f9f043d030ccb686f08}, isbn = {978-3-95977-047-7}, keywords = {dblp}, pages = {7:1-7:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:00.000+0100}, title = {Improving Rewriting Induction Approach for Proving Ground Confluence.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2017.html#0001TK17}, volume = 84, year = 2017 }