Automated Termination Proofs with AProVE

収録刊行物

• Proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA-04

  Proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA-04 2004