ZORZI, Margherita

ZORZI, Margherita  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 44 (tempo di esecuzione: 0.023 secondi).
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.