An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Modularity in term rewriting revisited
Theoretical Computer Science
Abstract Relations Between Restricted Termination And Confluence Properties Of Rewrite Systems
Fundamenta Informaticae
Hi-index | 0.00 |