VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
Refinement by interpretation in pi-institutions
Artigo de Conferência
Visão geral
Pesquisas
Identidade
Informação adicional documento
Ver Todos
Visão geral
autores
Manuel A. Martins
Madeira, A
Barbosa, L. S.
Barbosa, L.S.
data de publicação
janeiro 1, 2011
publicada em
Electronic Proceedings in Theoretical Computer Science
Revista
Pesquisas
palavras-chave
Refinement
Theory of institutions
Identidade
Digital Object Identifier (DOI)
https://doi.org/10.4204/eptcs.55.4
Informação adicional documento
Página Inicial
53
página final
64