Categorical Interpretation of Modal Structures under Bisimulation
ISSN: 1647-659X, 2182-2824
Ano de publicación: 2019
Volume: 22
Número: 1
Páxinas: 54-71
Tipo: Artigo
ISSN: 1647-659X, 2182-2824
Ano de publicación: 2019
Volume: 22
Número: 1
Páxinas: 54-71
Tipo: Artigo