No. Title Author Year
1 An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems Kim, Dohan et al. 2021
2 LIPIcs, Volume 6, RTA'10, Complete Volume Lynch, Christopher 2013
3 Frontmatter (Titlepage, Table of Contents, Author List, PC List, Reviewer List) Lynch, Christopher 2010
4 Preface Lynch, Christopher 2010
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI