Detecting redundant narrowing derivations by the LSE-SL reducibility test
From MaRDI portal
Publication:5055750
DOI10.1007/3-540-53904-2_87zbMath1503.68125MaRDI QIDQ5055750
Alexander Bockmayr, Stefan Krischer
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-53904-2_87
68Q42: Grammars and rewriting systems
Related Items