The Generalized Subterm Criterion in TTT2


We present an SMT encoding of a generalized version of the subterm criterion and evaluate its implementation in TTT2. 1998 ACM Subject Classification F.4.2 Grammars and Other Rewriting Systems

Extracted Key Phrases

1 Figure or Table

Cite this paper

@article{Sternagel2016TheGS, title={The Generalized Subterm Criterion in TTT2}, author={Christian Sternagel}, journal={CoRR}, year={2016}, volume={abs/1609.03432} }