Not registered as user yet

Name:Misaki Kojima
Country:Japan
Affiliation:Nagoya University

Contributions

PADL 2023 From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting
Show activities from other conferences

POPL 2023-profile
View general profile