%0 Conference Paper %1 conf/lata/Ishizuka0I21 %A Ishizuka, Mamoru %A Aoto, Takahito %A Iwami, Munehiro %B LATA %D 2021 %E Leporati, Alberto %E Martín-Vide, Carlos %E Shapira, Dana %E Zandron, Claudio %I Springer %K dblp %P 200-212 %T Commutative Rational Term Rewriting. %U http://dblp.uni-trier.de/db/conf/lata/lata2021.html#Ishizuka0I21 %V 12638 %@ 978-3-030-68195-1

@inproceedings{conf/lata/Ishizuka0I21, added-at = {2021-03-02T00:00:00.000+0100}, author = {Ishizuka, Mamoru and Aoto, Takahito and Iwami, Munehiro}, biburl = {https://www.bibsonomy.org/bibtex/28da5e7fe9b286fe7c8cb02b6ea552c6b/dblp}, booktitle = {LATA}, crossref = {conf/lata/2021}, editor = {Leporati, Alberto and Martín-Vide, Carlos and Shapira, Dana and Zandron, Claudio}, ee = {https://doi.org/10.1007/978-3-030-68195-1_15}, interhash = {da2cba0a5a84c4b2ffa336a45ae2111f}, intrahash = {8da5e7fe9b286fe7c8cb02b6ea552c6b}, isbn = {978-3-030-68195-1}, keywords = {dblp}, pages = {200-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:00:03.000+0200}, title = {Commutative Rational Term Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2021.html#Ishizuka0I21}, volume = 12638, year = 2021 }