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