Currying of order-sorted term rewriting systems
From MaRDI portal
Publication:6085707
DOI10.1007/bfb0030833zbMath1527.68117OpenAlexW1501093754MaRDI QIDQ6085707
Yoshinobu Kawabe, Naohiro Ishii
Publication date: 12 December 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0030833
Cites Work
This page was built for publication: Currying of order-sorted term rewriting systems