The following pages link to RelView (Q13546):
Displayed 50 items.
- Control of Condorcet voting: complexity and a relation-algebraic approach (Q319803) (← links)
- Solving hard control problems in voting systems via integer programming (Q322433) (← links)
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (Q383785) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Computing minimal extending sets by relation-algebraic modeling and development (Q406434) (← links)
- Spatial voting games, relation algebra and RelView (Q406437) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Gunther Schmidt's life as a mathematician and computer scientist (Q406464) (← links)
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (Q516028) (← links)
- Mitigating covert channels based on analysis of the potential for communication (Q530557) (← links)
- Contact, closure, topology, and the linking of row and column types of relations (Q549681) (← links)
- Relation-algebraic specification and solution of special university timetabling problems (Q604453) (← links)
- Cardinality functions in allegories (Q604458) (← links)
- A relation-algebraic approach to simple games (Q631101) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Relation-algebraic computation of fixed points with applications (Q817578) (← links)
- Applying relational algebra and REL VIEW to coalition formation (Q859932) (← links)
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Relational measures and integration in preference modeling (Q929969) (← links)
- Embedding mappings and splittings with applications (Q968275) (← links)
- Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1--5, 2009. Procee (Q1036130) (← links)
- Applying relation algebra and RelView to measures in a social network (Q1038395) (← links)
- Evaluation of German parties and coalitions by methods of the mathematical theory of democracy (Q1038417) (← links)
- Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem (Q1581059) (← links)
- Relational depth-first-search with applications (Q1602553) (← links)
- A set solver for finite set relation algebra (Q1617837) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- Relation algebra as programming language using the Ampersand compiler (Q1785856) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- On the use of binary decision diagrams for solving problems on simple games (Q1926964) (← links)
- Relation-algebraic modeling and solution of chessboard independence and domination problems (Q1931899) (← links)
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs (Q1961862) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Computing tournament solutions using relation algebra and RelView (Q2253612) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces (Q2274045) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- An interdisciplinary approach to coalition formation (Q2378348) (← links)
- Relations in linear algebra (Q2401016) (← links)
- German parliamentary elections 2009 from the viewpoint of direct democracy (Q2452128) (← links)
- An alternative model of the formation of political coalitions (Q2481257) (← links)
- Relations and Kleene algebra in computer science. 10th international conference on relational methods in computer science, and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7--11, 2008. Proc (Q2481688) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- Experimental investigation of sufficient criteria for relations to have kernels (Q2695346) (← links)
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm (Q2695356) (← links)
- (Q2709803) (← links)