An exercise on the generation of many-valued dynamic logics Artigo Académico

Visão geral
Identidade
Informação adicional documento
Ver Todos

autores

Neves, Renato Jorge Araújo
Madeira, A.
Neves, R.
Martins, M.A.

data de publicação

janeiro 1, 2016

publicada em

Journal of Logical and Algebraic Methods in Programming Revista