RelView
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Computing and Visualizing Closure Objects Using Relation Algebra and RelView
- Relational measures and integration in preference modeling
- On automated program construction and verification
- Relation-algebraic specification and solution of special university timetabling problems
- Relational depth-first-search with applications
- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView
- An efficient relational deductive system for propositional non-classical logics
- Computing tournament solutions using relation algebra and RelView
- Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms
- Ordnungen, Verbände und Relationen mit Anwendungen
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
- A relation-algebraic approach to simple games
- Modal algebra and Petri nets
- An interdisciplinary approach to coalition formation
- Algebraic Visualization of Relations Using RelView
- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
- Exact computation of minimum feedback vertex sets with relational algebra
- An algebraic framework for minimum spanning tree problems
- A relation-algebraic approach to the ``Hoare logic of functional dependencies
- Computing minimal extending sets by relation-algebraic modeling and development
- Social networks: prestige, centrality, and influence (invited paper)
- Gunther Schmidt's life as a mathematician and computer scientist
- Multirelations with infinite computations
- Spatial voting games, relation algebra and RelView
- Relational Methods in Computer Science
- Orders, lattices and relations with applications
- Applying relation algebra and RelView to solve problems on orders and lattices
- Computations on simple games using \texttt{RelView}
- On the use of binary decision diagrams for solving problems on simple games
- Column-wise extendible vector expressions and the relational computation of sets of sets
- Relations in linear algebra
- Implementing relational specifications in a constraint functional logic language
- Cardinality of relations with applications
- Contact, closure, topology, and the linking of row and column types of relations
- Tool-Based Verification of a Relational Vertex Coloring Program
- Relation algebras and their application in temporal and spatial reasoning
- Cardinality functions in allegories
- Prover9
- Relation-algebraic computation of fixed points with applications
- ARA
- Ralf
- Rath
- RALL
- TituRel
- KURE
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
- Relation Algebra and RelView Applied to Approval Voting
- 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. Proceedings
- scientific article; zbMATH DE number 6257032 (Why is no real title available?)
- Applying relation algebra and RelView to measures in a social network
- Ampersand
- TBAG
- Stone Kleene
- Stone Algebras
- Algorithm 97
- LatDraw
- Kleene Algebra
- Relation Algebra
- Stone relation algebras
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Relation algebra, RelView, and plurality voting
- Control of Condorcet voting: complexity and a relation-algebraic approach
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- scientific article; zbMATH DE number 176533 (Why is no real title available?)
- Solving hard control problems in voting systems via integer programming
- On the Analysis of Petri Nets and their Synthesis from Process Languages
- Relation-algebraic modeling and solution of chessboard independence and domination problems
- scientific article; zbMATH DE number 1953899 (Why is no real title available?)
- Verifying minimum spanning tree algorithms with Stone relation algebras
- scientific article; zbMATH DE number 1390243 (Why is no real title available?)
- Computational social choice using relation algebra and RelView
- Automated verification of relational while-programs
- Mitigating covert channels based on analysis of the potential for communication
- Social Software for Coalition Formation
- Embedding mappings and splittings with applications
- Applying relational algebra and REL VIEW to coalition formation
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
- Cardinality of relations and relational approximation algorithms
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- An alternative model of the formation of political coalitions
- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams
- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
- scientific article; zbMATH DE number 1210360 (Why is no real title available?)
- Evaluation of German parties and coalitions by methods of the mathematical theory of democracy
- A relation-algebraic approach to liveness of place/transition nets
- scientific article; zbMATH DE number 1953900 (Why is no real title available?)
- Software Development in Relation Algebra with Ampersand
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces
- Efficient computation of the large inductive dimension using order- and graph-theoretic means
- State space analysis of Petri nets with relation-algebraic methods
- Multi-objective Problems in Terms of Relational Algebra
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
- Contact relations with applications
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
- 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. Proceedings
- A set solver for finite set relation algebra
- Investigating and computing bipartitions with algebraic means
This page was built for software: RelView
