SPLASH 2022 (series) / Marco Milanese
Not registered as user yet
Name:Marco Milanese
Country:Italy
Affiliation:Dipartimento di Matematica, University of Padova, Italy
Contributions
SAS 2022 | Local Completeness Logic on Kleene Algebra with Tests | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile