Login / Signup

Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers.

Tomohiro SasanoNaoki NishidaMasahiko SakaiTomoya Ueyama
Published in: WPTE@FSCD (2017)
Keyphrases