Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • 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