scientific article; zbMATH DE number 1953899
From MaRDI portal
Publication:4415085
zbMath1027.68036MaRDI QIDQ4415085
Barbara Leoniuk, Rudolf Berghammer, Ulf Milanese
Publication date: 28 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2561/25610241.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Data structures (68P05) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (19)
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ An interdisciplinary approach to coalition formation ⋮ Applying relational algebra and REL VIEW to coalition formation ⋮ Relation-algebraic specification and solution of special university timetabling problems ⋮ On the use of binary decision diagrams for solving problems on simple games ⋮ Relation Algebra and RelView in Practical Use: Construction of Special University Timetables ⋮ Multi-objective Problems in Terms of Relational Algebra ⋮ Spatial voting games, relation algebra and RelView ⋮ A relation-algebraic approach to simple games ⋮ Experimental investigation of sufficient criteria for relations to have kernels ⋮ Applying relation algebra and RelView to solve problems on orders and lattices ⋮ Relational measures and integration in preference modeling ⋮ Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool ⋮ Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces ⋮ State space analysis of Petri nets with relation-algebraic methods ⋮ Computing and Visualizing Closure Objects Using Relation Algebra and RelView ⋮ Applying relation algebra and RelView to measures in a social network ⋮ Relation-algebraic computation of fixed points with applications
Uses Software
This page was built for publication: