First Page | Document Content | |
---|---|---|
![]() Date: 2009-06-09 05:12:21Theoretical computer science Logic in computer science Formal languages Hans Zantema International Conference on Rewriting Techniques and Applications Rewriting Termination analysis Divergence NP-completeness | Add to Reading List |