Registered user since Sun 15 Jan 2023
Name:Guido Governatori
Affiliation:Singapore Management University
Contributions
ProLaLa 2023 | Defeasible Semantics for L4 | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile