ZORZI, Margherita
ZORZI, Margherita
DIPARTIMENTO DI INFORMATICA
A "Game semantical" intuitionistic realizability validating Markov's principle
2014-01-01 F., Aschieri; Zorzi, Margherita
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics
2016-01-01 Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations
2017-01-01 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results
2017-01-01 Zorzi, Margherita; Combi, Carlo; Pozzani, Gabriele; Arzenton, Elena; Moretti, Ugo
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 Logical Framework for XML Reference Specification
2015-01-01 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A natural deduction calculus for S4.2
In corso di stampa Martini, Simone; Masini, Andrea; Zorzi, Margherita
A Qualitative Modal Representation of Quantum Register Transformations
2008-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
A simple algorithm for the lexical classification of comparable adjectives
2018-01-01 Cristani, Matteo; Chito', Ilaria; Tomazzoli, Claudio; Zorzi, Margherita
Automagically Encoding Adverse Drug Reactions in MedDRA
2015-01-01 Zorzi, Margherita; Combi, Carlo; Lora, Riccardo; Pagliarini, Marco; Moretti, Ugo
Automatic Generation of Dictionaries: the journalistic lexicon case.
2019-01-01 Cristani, Matteo; Tomazzoli, Claudio; 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
Early training in programming: from high school to college
2017-01-01 Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, 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
General ramified recurrence is sound for polynomial time
2010-01-01 Dal Lago, U.; Martini, S.; Zorzi, Margherita
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic
2012-01-01 Zorzi, Margherita; Aschieri, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A "Game semantical" intuitionistic realizability validating Markov's principle | 1-gen-2014 | F., Aschieri; Zorzi, Margherita | |
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics | 1-gen-2016 | Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita | |
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations | 1-gen-2017 | Vigano', Luca; Volpe, Marco; Zorzi, Margherita | |
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results | 1-gen-2017 | Zorzi, Margherita; Combi, Carlo; Pozzani, Gabriele; Arzenton, Elena; Moretti, Ugo | |
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 Logical Framework for XML Reference Specification | 1-gen-2015 | Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita | |
A natural deduction calculus for S4.2 | In corso di stampa | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
A Qualitative Modal Representation of Quantum Register Transformations | 1-gen-2008 | Masini, Andrea; Vigano', Luca; Zorzi, Margherita | |
A simple algorithm for the lexical classification of comparable adjectives | 1-gen-2018 | Cristani, Matteo; Chito', Ilaria; Tomazzoli, Claudio; Zorzi, Margherita | |
Automagically Encoding Adverse Drug Reactions in MedDRA | 1-gen-2015 | Zorzi, Margherita; Combi, Carlo; Lora, Riccardo; Pagliarini, Marco; Moretti, Ugo | |
Automatic Generation of Dictionaries: the journalistic lexicon case. | 1-gen-2019 | Cristani, Matteo; Tomazzoli, Claudio; 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 | |
Early training in programming: from high school to college | 1-gen-2017 | Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, 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 | |
General ramified recurrence is sound for polynomial time | 1-gen-2010 | Dal Lago, U.; Martini, S.; Zorzi, Margherita | |
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic | 1-gen-2012 | Zorzi, Margherita; Aschieri, F. |