scientific article; zbMATH DE number 4193139

MaRDI QIDQ3210908zbMATH OpenFDO

Authors Zoltán Horváth

Publication date 1989

zbMATH Keywords

bounded closuresclosuresprogram functionstrict composition of relations

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 67020
• scientific article; zbMATH DE number 4181309
• scientific article; zbMATH DE number 1086633
• scientific article; zbMATH DE number 3890767
• scientific article; zbMATH DE number 177458
• On the relationship between foundations of programming and mathematics
• Relational Semantics for Higher-Order Programs
• Publication:3476794
• A computation model with automatic functions and relations as primitive operations

Cited in

(4)

• Modelling some mathematical objects and operations on them with an expanded relational data model
• On the mathematics of sequential decompositions
• Using the matrix to solve the closure of relations
• Non-deterministic closure theory and universal arrows

This page was built for publication:

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