search result

Cover von Proceedings of the 21st International Conference on Rewriting Techniques and Applications
July 11 - 13, 2010, Edinburgh, Scottland, UK
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 6
Media group: LIPIcs
Cover von An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems

An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0