Weighted computations: semantics and program logics

Doctoral programme in Computer Science

Bibliographic Details
Main Author: Gomes, Leandro Rafael Moreira (author)
Format: doctoralThesis
Language:eng
Published: 2022
Subjects:
Á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
Online Access:https://hdl.handle.net/1822/77908
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/77908
Description
Summary:Doctoral programme in Computer Science

Similar Items