Sfoglia per Autore
A Qualitative Modal Representation of Quantum Register Transformations
2008-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
A Labeled Natural Deduction System for a Fragment of CTL∗
2009-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Proofs, tests and continuation passing style
2009-01-01 S., Guerrini; Masini, Andrea
On a Measurement-Free Quantum Lambda Calculus with Classical Control
2009-01-01 U., Dal Lago; Masini, Andrea; Zorzi, Margherita
Back from the future
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
A History of Until
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Quantum Implicit computational complexity
2010-01-01 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Confluence results for a quantum lambda calculus with measurements
2011-01-01 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Modal Deduction Systems for Quantum State Transformations
2011-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
Labelled natural deduction for a bundled branching temporal logic
2011-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
A natural deduction system for bundled branching time logic
2013-01-01 Baratella, Stefano; Masini, Andrea
Towards A Theory Of Quantum Computability
2015-01-01 S., Guerrini; S., Martini; Masini, Andrea
A Logical Framework for XML Reference Specification
2015-01-01 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A hybrid logic for XML reference constraints
2018-01-01 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A Logic for Quantum Register Measurements
2019-01-01 Masini, Andrea; Zorzi, Margherita
A two-dimensional metric temporal logic
2019-01-01 Masini, Andrea; Baratella, Stefano
Quantum Turing Machines: Computations and Measurements
2020-01-01 Guerrini, Stefano; Martini, Simone; Masini, Andrea
Proof Nets for Classical Logic
2021-01-01 Guerrini, Stefano; Masini, Andrea
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
2021-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
Natural deduction calculi for classical and intuitionistic S5
2023-01-01 Guerrini, Stefano; Masini, Andrea; Zorzi, Margherita
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Qualitative Modal Representation of Quantum Register Transformations | 1-gen-2008 | Masini, Andrea; Vigano', Luca; Zorzi, Margherita | |
| A Labeled Natural Deduction System for a Fragment of CTL∗ | 1-gen-2009 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| Proofs, tests and continuation passing style | 1-gen-2009 | S., Guerrini; Masini, Andrea | |
| On a Measurement-Free Quantum Lambda Calculus with Classical Control | 1-gen-2009 | U., Dal Lago; Masini, Andrea; Zorzi, Margherita | |
| Back from the future | 1-gen-2010 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| A History of Until | 1-gen-2010 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| Quantum Implicit computational complexity | 1-gen-2010 | Dal Lago, U.; Masini, Andrea; Zorzi, Margherita | |
| Confluence results for a quantum lambda calculus with measurements | 1-gen-2011 | Dal Lago, U.; Masini, Andrea; Zorzi, Margherita | |
| Modal Deduction Systems for Quantum State Transformations | 1-gen-2011 | Masini, Andrea; Vigano', Luca; Zorzi, Margherita | |
| Labelled natural deduction for a bundled branching temporal logic | 1-gen-2011 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| A natural deduction system for bundled branching time logic | 1-gen-2013 | Baratella, Stefano; Masini, Andrea | |
| Towards A Theory Of Quantum Computability | 1-gen-2015 | S., Guerrini; S., Martini; Masini, Andrea | |
| A Logical Framework for XML Reference Specification | 1-gen-2015 | Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita | |
| A hybrid logic for XML reference constraints | 1-gen-2018 | Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita | |
| A Logic for Quantum Register Measurements | 1-gen-2019 | Masini, Andrea; Zorzi, Margherita | |
| A two-dimensional metric temporal logic | 1-gen-2019 | Masini, Andrea; Baratella, Stefano | |
| Quantum Turing Machines: Computations and Measurements | 1-gen-2020 | Guerrini, Stefano; Martini, Simone; Masini, Andrea | |
| Proof Nets for Classical Logic | 1-gen-2021 | Guerrini, Stefano; Masini, Andrea | |
| From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics | 1-gen-2021 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
| Natural deduction calculi for classical and intuitionistic S5 | 1-gen-2023 | Guerrini, Stefano; Masini, Andrea; Zorzi, Margherita |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile