Login / Signup
Ayuka Matsumi
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Rewrite Systems
Bit Vectors
Active Rules
Top Venues
CoRR
</>
Publications
</>
Ayuka Matsumi
,
Naoki Nishida
,
Misaki Kojima
,
Donghoon Shin
On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic.
CoRR
(2023)