Theory and Applications of Relational Structures as Knowledge Instruments
From MaRDI portal
Publication:5902058
DOI10.1007/b94817zbMath1203.68035OpenAlexW4230228281MaRDI QIDQ5902058
Publication date: 9 June 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94817
Applications of universal algebra in computer science (08A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Relational systems, laws of composition (08A02)
Related Items (14)
Concurrent Dynamic Algebra ⋮ Taming Multirelations ⋮ Angelic nondeterminism in the unifying theories of programming ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Multirelations with infinite computations ⋮ Relations into algebras of probabilistic distributions ⋮ Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism ⋮ An algebraic approach to multirelations and their properties ⋮ Alternating states for dual nondeterminism in imperative programming ⋮ Monotonic distributive semilattices ⋮ Angelicism in the Theory of Reactive Processes ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax} ⋮ A topological duality for monotone expansions of semilattices ⋮ Multirelational representation theorems for complete idempotent left semirings.
This page was built for publication: Theory and Applications of Relational Structures as Knowledge Instruments