Misaki Kojima
Orcid: 0000-0001-5194-3947
According to our database1,
Misaki Kojima
authored at least 4 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-path Reachability Problems with Constant Destinations.
J. Inf. Process., 2024
2023
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting.
J. Log. Algebraic Methods Program., October, 2023
CoRR, 2023
Proceedings of the Practical Aspects of Declarative Languages, 2023