6 results on '"Lago, Ugo Dal"'
Search Results
2. A Semantic Proof of Polytime Soundness of Light Affine Logic
3. Calendars, Time Granularities, and Automata
4. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
5. Calendars, Time Granularities, and Automata
6. A Semantic Proof of Polytime Soundness of Light Affine Logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.