On difunctions

DOI10.1016/J.JLAMP.2023.100878MaRDI QIDQ6113019FDOQ6113019

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)

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

zbMATH Keywords

relation algebracalculational methoddifunction

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

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

Cited In (1)

• Title not available (Why is that?)

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)