scientific article; zbMATH DE number 1479646

zbMATH Open0942.68617MaRDI QIDQ4490763FDOQ4490763

Authors: Marcello M. Bonsangue, Joost N. Kok 

Publication date: 20 July 2000

Title of this publication is not available (Why is that?)

Recommendations

• A relation-algebraic approach to multirelations and predicate transformers
• The closure operator in a multi-valued logic based on functional equations
• scientific article; zbMATH DE number 4189691
• scientific article; zbMATH DE number 64169
• Context-sensitive transitive closure operators
• Closure operators with predicate branching
• scientific article; zbMATH DE number 2162209
• Predicate transformers and higher-order programs
• Closure operators associated with relations
• Monotone Predicate Transformers as Up-Closed Multirelations

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Cited In (5)

• Type theories and object-oriented programmimg
• Type extensions
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• Title not available (Why is that?)
• Duality beyond sober spaces: Topological spaces and observation frames

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 Q4490763)