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