ZORZI, Margherita
ZORZI, Margherita
DIPARTIMENTO DI INFORMATICA
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations
2017-01-01 Vigano', Luca; Volpe, Marco; 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 natural deduction calculus for S4.2
In corso di stampa Martini, Simone; Masini, Andrea; Zorzi, Margherita
Confluence results for a quantum lambda calculus with measurements
2011-01-01 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Cut Elimination for Extended Sequent Calculi
2023-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
Diagnostics as a reasoning process: From logic structure to software design
2019-01-01 Cristani, Matteo; Olivieri, Francesco; Tomazzoli, Claudio; Vigano', Luca; Zorzi, Margherita
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
2021-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions
2018-01-01 Combi, Carlo; Zorzi, Margherita; Pozzani, Gabriele; Moretti, Ugo; Arzenton, Elena
Modal Deduction Systems for Quantum State Transformations
2011-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
Natural deduction calculi for classical and intuitionistic S5
2023-01-01 Guerrini, Stefano; Masini, Andrea; Zorzi, Margherita
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder
2019-01-01 Combi, Carlo; Zorzi, Margherita; Pozzani, Gabriele; Arzenton, Elena; Moretti, Ugo
On a Measurement-Free Quantum Lambda Calculus with Classical Control
2009-01-01 U., Dal Lago; Masini, Andrea; Zorzi, Margherita
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
2016-01-01 Aschieri, Federico; Zorzi, Margherita
On Quantum Lambda Calculi: a Foundational Perspective
2016-01-01 Zorzi, Margherita
Probabilistic Operational Semantics for the Lambda Calculus
2012-01-01 Zorzi, Margherita; DAL LAGO, U.
QPCF: Higher-Order Languages and Quantum Circuits
2019-01-01 Paolini, Luca; Piccolo, Mauro; Zorzi, Margherita
Quantum Calculi—From Theory to Language Design
2019-01-01 Zorzi, Margherita
Quantum Implicit computational complexity
2010-01-01 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations | 1-gen-2017 | Vigano', Luca; Volpe, Marco; 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 natural deduction calculus for S4.2 | In corso di stampa | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
| Confluence results for a quantum lambda calculus with measurements | 1-gen-2011 | Dal Lago, U.; Masini, Andrea; Zorzi, Margherita | |
| Cut Elimination for Extended Sequent Calculi | 1-gen-2023 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
| Diagnostics as a reasoning process: From logic structure to software design | 1-gen-2019 | Cristani, Matteo; Olivieri, Francesco; Tomazzoli, Claudio; Vigano', Luca; Zorzi, Margherita | |
| From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics | 1-gen-2021 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
| From narrative descriptions to MedDRA: automagically encoding adverse drug reactions | 1-gen-2018 | Combi, Carlo; Zorzi, Margherita; Pozzani, Gabriele; Moretti, Ugo; Arzenton, Elena | |
| Modal Deduction Systems for Quantum State Transformations | 1-gen-2011 | Masini, Andrea; Vigano', Luca; Zorzi, Margherita | |
| Natural deduction calculi for classical and intuitionistic S5 | 1-gen-2023 | Guerrini, Stefano; Masini, Andrea; Zorzi, Margherita | |
| Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder | 1-gen-2019 | Combi, Carlo; Zorzi, Margherita; Pozzani, Gabriele; Arzenton, Elena; Moretti, Ugo | |
| On a Measurement-Free Quantum Lambda Calculus with Classical Control | 1-gen-2009 | U., Dal Lago; Masini, Andrea; Zorzi, Margherita | |
| On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem | 1-gen-2016 | Aschieri, Federico; Zorzi, Margherita | |
| On Quantum Lambda Calculi: a Foundational Perspective | 1-gen-2016 | Zorzi, Margherita | |
| Probabilistic Operational Semantics for the Lambda Calculus | 1-gen-2012 | Zorzi, Margherita; DAL LAGO, U. | |
| QPCF: Higher-Order Languages and Quantum Circuits | 1-gen-2019 | Paolini, Luca; Piccolo, Mauro; Zorzi, Margherita | |
| Quantum Calculi—From Theory to Language Design | 1-gen-2019 | Zorzi, Margherita | |
| Quantum Implicit computational complexity | 1-gen-2010 | Dal Lago, U.; Masini, Andrea; Zorzi, Margherita |