A Coalgebraic Perspective on Logical Interpretations

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

Visão geral

autores

• Barbosa, L.S.
• Martins, M.A.
• Madeira, A.
• Barbosa, L.S.

data de publicação

• janeiro 1, 2013

publicada em

• Studia Logica  Revista

Pesquisas

palavras-chave

• Abstract logic
• Coalgebra
• Interpretation
• Program refinement

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s11225-013-9498-z

Informação adicional documento

Página Inicial

• 783

página final

• 825

Volume

• 101

questão

• 4