Level-confluence of conditional rewrite systems with extra variables in right-hand sides
From MaRDI portal
Publication:5055830
DOI10.1007/3-540-59200-8_56zbMath1503.68159MaRDI QIDQ5055830
Aart Middeldorp, Tetsuo Ida, Taro Suzuki
Publication date: 9 December 2022
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59200-8_56
68N18: Functional programming and lambda calculus
68Q42: Grammars and rewriting systems
68N17: Logic programming
Related Items
Implementing conditional term rewriting by graph rewriting, Maude: specification and programming in rewriting logic, Shallow confluence of conditional term rewriting systems
Uses Software