Weighted computations: semantics and program logics

Doctoral programme in Computer Science

Detalhes bibliográficos
Autor principal: Gomes, Leandro Rafael Moreira (author)
Formato: doctoralThesis
Idioma:eng
Publicado em: 2022
Assuntos:
Álgebra de Kleene
Computação pesada
Lógica dinâmica
Semânticas de programas
Dynamic logic
Kleene algebra
Program semantics
Weighted computation
Ciências Naturais::Ciências da Computação e da Informação
Texto completo:https://hdl.handle.net/1822/77908
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/77908

Texto Completo

https://hdl.handle.net/1822/77908

Registos relacionados