Dissertação de mestrado Acesso aberto

Exploring paraconsistent logics for quantum programs

Paraconsistent transition systems
Modal paraconsistent logic
Autor(es)
Orientador(es)

Ficheiros

Ana Luzia Rosas da Cruz.pdf (518.21 KB)

Embargo

Tipo de Documento

Dissertação de mestrado

Idioma

Coleções

BUM - Dissertações de mestrado | Master thesis
A carregar...
Ver registo completo
UM