Registered user since Tue 6 Dec 2022

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

Contributions

PADL 2023 Linear Algebraic Abduction with Partial Evaluation
Show activities from other conferences

POPL 2023-profile
View general profile