Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Tomoya Ueyama"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 265, Iss Proc. WPTE 2017, Pp 82-97 (2018)
In the dependency pair framework for proving termination of rewriting systems, polynomial interpretations are used to transform dependency chains into bounded decreasing sequences of integers, and they play an important role for the success of provin
Externí odkaz:
https://doaj.org/article/d849c95ecd554e3491f440b29c45fd2b