Registered user since Tue 6 Dec 2022

Name:Katsumi Inoue
Country:Japan
Affiliation:NII
Research interests:Logic Programming, Answer Set Programming

Contributions

2023

Symposium on Practical Aspects of Declarative Languages

Show activities from other conferences

POPL 2023-profile
View general profile