Towards a linear algebra of programming

• http://www.scopus.com/inward/record.url?eid=2-s2.0-84865441306&partnerID=MN8TOARS
• full text

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

Visão geral

autores

• Oliveira, José Nuno Fonseca

data de publicação

• janeiro 1, 2012

publicada em

• Formal Aspects of Computing  Revista

Pesquisas

palavras-chave

• Algebra of programming
• Probabilistic reasoning
• Quantitative formal methods

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s00165-012-0240-9

Informação adicional documento

Página Inicial

• 433

página final

• 458

Volume

• 24

questão

• 4-6