Registered user since Mon 11 Dec 2017
Name: Carlo Zaniolo
Contributions
| PADL 2018 | Invited speaker of INVITED TALK: Declarative Algorithms on Big Data: a Logic-Based Solution within the PADL 2018-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile