Sfoglia per Relatore
On randomised strategies in the lambda-calculus
2017/2018 VANONI, GABRIELE
Operator precedence languages: theory and applications
PANELLA, FEDERICA
Parallel XPath query evaluator
2018/2019 MARZI, LUCA
POMC. A model checking tool for operator precedence languages on omega-words
2019/2020 PONTIGGIA, FRANCESCO
POMC. Toward a model checking tool for operator precedence languages
2019/2020 Bergamaschi, Davide
R++ : an object oriented DSL for motion controllers and its compiler
2017/2018 NARDO, LORIS
Toward a more expressive pattern matching in Haskell
2016/2017 SERVADEI, GIACOMO
Verification and synthesis of Infrastructure-as-Code through satisfiability modulo theories
2021/2022 Franchini, Andrea
Fulltext | Data | Tipo | Titolo | Autore (i) |
---|---|---|---|---|
2018-10-03 | Tesi di laurea Magistrale | On randomised strategies in the lambda-calculus | VANONI, GABRIELE | |
2016-01-07 | Tesi di Dottorato | Operator precedence languages: theory and applications | PANELLA, FEDERICA | |
2019-07-25 | Tesi di laurea Magistrale | Parallel XPath query evaluator | MARZI, LUCA | |
2021-06-09 | Tesi di laurea Magistrale | POMC. A model checking tool for operator precedence languages on omega-words | PONTIGGIA, FRANCESCO | |
2020-07-24 | Tesi di laurea Magistrale | POMC. Toward a model checking tool for operator precedence languages | Bergamaschi, Davide | |
2018-12-20 | Tesi di laurea Magistrale | R++ : an object oriented DSL for motion controllers and its compiler | NARDO, LORIS | |
2018-04-19 | Tesi di laurea Magistrale | Toward a more expressive pattern matching in Haskell | SERVADEI, GIACOMO | |
2023-05-04 | Tesi di laurea Magistrale | Verification and synthesis of Infrastructure-as-Code through satisfiability modulo theories | Franchini, Andrea |
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili