Browsing Electronic Engineering and Computer Science by Author "23rd International Conference on Rewriting Techniques and Applications"

Now showing items 1-2 of 2

    • On the formalization of termination techniques based on multiset orderings 

      Thiemann, R; Allais, G; Nagele, J; 23rd International Conference on Rewriting Techniques and Applications (Leibniz International Proceedings in Informatics, LIPIcs, 2012)
      Multiset orderings are a key ingredient in certain termination techniques like the recursive path ordering and a variant of size-change termination. In order to integrate these techniques in a certifier for termination ...

    • On the formalization of termination techniques based on multiset orderings 

      Thiemann, R; Allais, G; Nagele, J; 23rd International Conference on Rewriting Techniques and Applications (2012-12-01)
      Multiset orderings are a key ingredient in certain termination techniques like the recursive path ordering and a variant of size-change termination. In order to integrate these techniques in a certifier for termination ...