Adding design strategies to fork algebras

DOI10.1007/3-540-62064-8_19zbMATH Open1541.68106MaRDI QIDQ6570934FDOQ6570934

Authors: Marcelo Fabián Frias, Gabriel Baum, Armando Martín Haeberer 

Publication date: 11 July 2024

Recommendations

• Representability and program construction within fork algebras
• scientific article; zbMATH DE number 1735901
• scientific article; zbMATH DE number 1086629
• scientific article; zbMATH DE number 1136646
• A short proof of representability of fork algebras

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Applications of universal algebra in computer science (08A70)

Cites Work

• On the calculus of relations
• Title not available (Why is that?)
• Categories, relations and dynamic programming
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Adding design strategies to fork algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6570934)