scientific article; zbMATH DE number 1086633
From MaRDI portal
Publication:4362882
zbMath0884.68077MaRDI QIDQ4362882
Rudolf Berghammer, Burghard von Karger
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Stone Relation Algebras ⋮ Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm ⋮ Imperative abstractions for functional actions ⋮ The $$\theta $$-Join as a Join with $$\theta $$ ⋮ A Relation Algebraic Semantics for a Lazy Functional Logic Language ⋮ Lazy Relations ⋮ Monomorphic characterization of \(n\)-ary direct products ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ An algebraic framework for minimum spanning tree problems ⋮ Relational Semantics Revisited ⋮ Weak \(n\)-ary relational products in allegories