scientific article; zbMATH DE number 1953899

MaRDI QIDQ4415085zbMATH OpenFDO

Authors Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2561/25610241.htm

Mathematics Subject Classification ID

Data structures (68P05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Computer Algebra in Scientific Computing
• Relation Algebras, Matrices, and Multi-valued Decision Diagrams
• scientific article; zbMATH DE number 1390243
• scientific article; zbMATH DE number 846270
• Relational Methods in Computer Science

Cited in

(26)

• Applying relational algebra and REL VIEW to coalition formation
• Applying relation algebra and RelView to solve problems on orders and lattices
• Efficient associative algorithms for implementing the second group of relational algebra operations
• Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
• Spatial voting games, relation algebra and RelView
• Computer Algebra in Scientific Computing
• Collapsing binary data for algebraic multidimensional representation
• Relational measures and integration in preference modeling
• State space analysis of Petri nets with relation-algebraic methods
• Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces
• Cryptomorphic topological structures: a computational, relation-algebraic approach
• Multi-objective Problems in Terms of Relational Algebra
• Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
• Relational Methods in Computer Science
• Choiceless polynomial time
• An interdisciplinary approach to coalition formation
• Algebraic Visualization of Relations Using RelView
• Computing and Visualizing Closure Objects Using Relation Algebra and RelView
• Applying relation algebra and RelView to measures in a social network
• Theory and Applications of Relational Structures as Knowledge Instruments
• Experimental investigation of sufficient criteria for relations to have kernels
• On the use of binary decision diagrams for solving problems on simple games
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
• Relation-algebraic specification and solution of special university timetabling problems
• A relation-algebraic approach to simple games
• Relation-algebraic computation of fixed points with applications

Describes a project that uses

Uses Software

• CUDD
• RelView

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415085)