On difunctions Artigo Académico

• http://dx.doi.org/10.1016/j.jlamp.2023.100878
• full text

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

Visão geral

autores

• Backhouse, Roland
• Oliveira, José Nuno Fonseca

data de publicação

• agosto 1, 2023

publicada em

• Journal of Logical and Algebraic Methods in Programming  Revista

Pesquisas

palavras-chave

• Calculational method
• Difunction
• Relation algebra

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.jlamp.2023.100878

Informação adicional documento

Página Inicial

• 100878

Volume

• 134