Cited By
View all- Ohlebusch E(2019)Modular Properties of Composable Term Rewriting SystemsJournal of Symbolic Computation10.1006/jsco.1995.103620:1(1-41)Online publication date: 3-Jan-2019
- Felgenhauer BMiddeldorp AZankl HVan Oostrom V(2015)Layer Systems for Proving ConfluenceACM Transactions on Computational Logic10.1145/271001716:2(1-32)Online publication date: 9-Mar-2015
- Oostrom V(2008)Modularity of ConfluenceProceedings of the 4th international joint conference on Automated Reasoning10.1007/978-3-540-71070-7_31(348-363)Online publication date: 12-Aug-2008
- Show More Cited By