Misaki Kojima

According to our database, Misaki Kojima authored at least 3 papers in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting.

Misaki Kojima, Naoki Nishida

J. Log. Algebraic Methods Program., October, 2023

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

Ayuka Matsumi, Naoki Nishida, Misaki Kojima, Donghoon Shin

CoRR, 2023

From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting.

Misaki Kojima, Naoki Nishida

Proceedings of the Practical Aspects of Declarative Languages, 2023