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

Benchmarking de uma abordagem em álgebra linear a sistemas OLAP

Author Rogério António da Costa Pontes

Degree MSc

Year 2015

Institution UM

Automatic Rewrite Proofs by Reflection in Agda

Author Victor Cacciari Miraldo

Degree MSc

Year 2015

Institution UM

Pointfree Program Calculation — Theory and Applications

Author Claudia Monica Necco

Degree PhD

Year 2015

Institution UM