Aaltodoc
→
Browsing by Author

Browsing by Author "D'Angelo, Gianlorenzo"

Now showing items 1-1 of 1

Title: What Can Be Verified Locally? Author(s): Balliu, Alkida; D'Angelo, Gianlorenzo; Fraigniaud, Pierre; Olivetti, Dennis Date: 2018 Series: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, Volume 97

Now showing items 1-1 of 1

Search archive

Submit a publication

Submit a publication »

Browse

All of archive
- Collections
- By Issue Date
- Authors
- Titles
- Subjects
- Keywords
- Departments