On difunctions

DOI10.1016/J.JLAMP.2023.100878MaRDI QIDQ6113019zbMATH OpenFDO

Authors Roland C. Backhouse, J. N. Oliveira

Publication date 8 August 2023

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

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

relation algebracalculational methoddifunction

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 3107203
• On differentiable functionals
• On the Dulac functions
• scientific article; zbMATH DE number 3923041
• scientific article; zbMATH DE number 4115219
• scientific article; zbMATH DE number 4027367
• On the Composition of Differentiable Functions
• On multifunctions

Cites work

• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1434122 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• scientific article; zbMATH DE number 3057416 (Why is no real title available?)
• scientific article; zbMATH DE number 3064989 (Why is no real title available?)
• Calculating Invariants as Coreflexive Bisimulations
• Coalgebraic simulations and congruences
• Components and acyclicity of graphs. An exercise in combining precision with concision
• Final Dialgebras: From Categories to Allegories
• Programming from metaphorisms
• Regular algebra applied to language problems
• Regularity of relations: A measure of uniformity
• Relational and Kleene-Algebraic Methods in Computer Science
• Relations binaires, fermetures, correspondances de Galois
• Some beautiful arguments using mathematical induction
• Universal coalgebra: A theory of systems
• Using difunctional relations in information organization

Cited in

(1)

• scientific article; zbMATH DE number 917696 (Why is no real title available?)

This page was built for publication: On difunctions

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