Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
Supervised
thesis

Supervised thesis by José Nuno Oliveira

Rust para Sistemas Críticos

Author André Brandão de Pinho

Degree MSc

Year 2019

Institution UM

Towards Quantum Program Calculation

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2018

Institution UM

Pointfree Program Calculation — Theory and Applications

Author Claudia Monica Necco

Degree PhD

Year 2017

Institution UM

Pointfree Program Calculation — Theory and Applications

Author Claudia Mónica Necco

Degree PhD

Year 2016

Institution UM

Automatic Rewrite Proofs by Reflection in Agda

Author Victor Cacciari Miraldo

Degree MSc

Year 2015

Institution UM

Benchmarking de uma abordagem em álgebra linear a sistemas OLAP

Author Rogério António da Costa Pontes

Degree MSc

Year 2015

Institution UM

Pointfree Program Calculation — Theory and Applications

Author Claudia Monica Necco

Degree PhD

Year 2015

Institution UM