%0 Conference Paper %1 conf/disco/FengSI93 %A Feng, Su %A Sakabe, Toshiki %A Inagaki, Yasuyoshi %B DISCO %D 1993 %E Miola, Alfonso %I Springer %K dblp %P 256-271 %T Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning. %U http://dblp.uni-trier.de/db/conf/disco/disco1993.html#FengSI93 %V 722 %@ 3-540-57235-X

@inproceedings{conf/disco/FengSI93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Feng, Su and Sakabe, Toshiki and Inagaki, Yasuyoshi}, biburl = {https://www.bibsonomy.org/bibtex/2fbbd8478a46ba997503c01d202a9f8e9/dblp}, booktitle = {DISCO}, crossref = {conf/disco/1993}, editor = {Miola, Alfonso}, ee = {https://doi.org/10.1007/BFb0013182}, interhash = {243b5af3e19460dbdb9beb397d9fb0c3}, intrahash = {fbbd8478a46ba997503c01d202a9f8e9}, isbn = {3-540-57235-X}, keywords = {dblp}, pages = {256-271}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:07:41.000+0200}, title = {Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/disco/disco1993.html#FengSI93}, volume = 722, year = 1993 }