On difunctions

DOI10.1016/j.jlamp.2023.100878MaRDI QIDQ6113019

José Nuno Oliveira, Roland C. Backhouse

Publication date: 8 August 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

relation algebradifunctioncalculational method

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Regular algebra applied to language problems
• Some beautiful arguments using mathematical induction
• Universal coalgebra: A theory of systems
• Programming from metaphorisms
• Regularity of relations: A measure of uniformity
• Components and acyclicity of graphs. An exercise in combining precision with concision
• Coalgebraic Simulations and Congruences
• Final Dialgebras: From Categories to Allegories
• Calculating Invariants as Coreflexive Bisimulations
• Relational and Kleene-Algebraic Methods in Computer Science
• Relations binaires, fermetures, correspondances de Galois
• Using difunctional relations in information organization

This page was built for publication: On difunctions