Munehiro Iwami - APLAS 2024

Tue 22 - Fri 25 October 2024 Kyoto

Registered user since Tue 8 Oct 2024

Name:Munehiro Iwami

Country:Japan

Affiliation:Iwate Prefectural University

Contributions

2024

APLAS

[non-SRC] Disproving Termination of O-like Combinators by Tree Automata

Show activities from other conferences

APLAS 2024-profile
View general profile