A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems.

Ayuka Matsumi

Naoki Nishida 0001 Misaki Kojima Ayuka Matsumi A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems. 101045 2025 144 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2025.101045 db/journals/jlap/jlap144.html#NishidaKM25 streams/journals/jlap

Ayuka Matsumi Naoki Nishida 0001 Misaki Kojima Donghoon Shin On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic. 2023 abs/2307.14094 CoRR https://doi.org/10.48550/arXiv.2307.14094 db/journals/corr/corr2307.html#abs-2307-14094

Misaki Kojima Naoki Nishida 0001 Donghoon Shin