research
∙
10/07/2021
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions
A rep-tile is a polygon that can be dissected into smaller copies (of th...
share
research
∙
02/19/2018
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers
In the dependency pair framework for proving termination of rewriting sy...
research
∙
02/19/2018
