共 12 条
- [2] Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems Applicable Algebra in Engineering, Communication and Computing, 2004, 15 : 13 - 36
- [5] CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 127 - 136
- [6] Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2010), 2010, 8 : 284 - 295
- [9] Undecidable properties of flat term rewrite systems Applicable Algebra in Engineering, Communication and Computing, 2009, 20 : 187 - 205