On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic.

Ayuka Matsumi Naoki Nishida Misaki Kojima Donghoon Shin

Published in: CoRR (2023)

Keyphrases

bit vector
bit vectors
input output
floating point
term rewriting
decision making
active rules
rewrite systems
databases
data mining
database systems
medical images
interval arithmetic
dense datasets