scientific article
From MaRDI portal
Publication:3703918
zbMath0581.05026MaRDI QIDQ3703918
Gunther Schmidt, Thomas Ströhlein
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
Abstract derivation of transitive closure algorithms ⋮ Control of Condorcet voting: complexity and a relation-algebraic approach ⋮ Abstract representation theorems for demonic refinement algebras ⋮ Relational style laws and constructs of linear algebra ⋮ A relation-algebraic approach to simple games ⋮ Monomorphic characterization of \(n\)-ary direct products ⋮ Embedding a demonic semilattice in a relation algebra ⋮ Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool ⋮ An algebraic framework for minimum spanning tree problems ⋮ State space analysis of Petri nets with relation-algebraic methods ⋮ Semantic distance between specifications ⋮ Relation algebras: Concept of points and representability ⋮ Characterizing determinacy in Kleene algebras ⋮ Bibliography on domination in graphs and some basic definitions of domination parameters ⋮ Compiling dyadic first-order specifications into map algebra
This page was built for publication:
