Commutative rational term rewriting
From MaRDI portal
Publication:2232282
DOI10.1007/978-3-030-68195-1_15OpenAlexW3133234016MaRDI QIDQ2232282
Munehiro Iwami, Mamoru Ishizuka, Takahito Aoto
Publication date: 4 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-68195-1_15
Cites Work