RelView
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
- Relational Modelling and Solution of Chessboard Problems
- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
- Relation algebra, RelView, and plurality voting
- Experimental investigation of sufficient criteria for relations to have kernels
- On the use of binary decision diagrams for solving problems on simple games
- Relations in linear algebra
- Computing tournament solutions using relation algebra and RelView
- First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
- Relational Methods in Computer Science
- Relation-algebraic specification and solution of special university timetabling problems
- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView
- A relation-algebraic approach to simple games
- Relational depth-first-search with applications
- On the Analysis of Petri Nets and their Synthesis from Process Languages
- Stone relation algebras
- Relation-algebraic computation of fixed points with applications
- Applying relational algebra and REL VIEW to coalition formation
- Applying relation algebra and RelView to solve problems on orders and lattices
- Relational construction of specific timetables
- Embedding mappings and splittings with applications
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Tool-Based Verification of a Relational Vertex Coloring Program
- 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
- Relations as images
- Mitigating covert channels based on analysis of the potential for communication
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
- scientific article; zbMATH DE number 176533 (Why is no real title available?)
- scientific article; zbMATH DE number 1953899 (Why is no real title available?)
- scientific article; zbMATH DE number 1390243 (Why is no real title available?)
- Relational Methods in Computer Science
- A functional, successor list based version of Warshall's algorithm with applications
- A relation-algebraic approach to the ``Hoare logic of functional dependencies
- Computing minimal extending sets by relation-algebraic modeling and development
- Gunther Schmidt's life as a mathematician and computer scientist
- Multirelations with infinite computations
- Spatial voting games, relation algebra and RelView
- Simple rectangle-based functional programs for computing reflexive-transitive closures
- Social Software for Coalition Formation
- 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
- Contact, closure, topology, and the linking of row and column types of relations
- Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms
- A relation-algebraic approach to liveness of place/transition nets
- Exact computation of minimum feedback vertex sets with relational algebra
- A set solver for finite set relation algebra
- Column-wise extendible vector expressions and the relational computation of sets of sets
- Software Development in Relation Algebra with Ampersand
- Relation-algebraic modeling and solution of chessboard independence and domination problems
- Relational measures and integration in preference modeling
- German parliamentary elections 2009 from the viewpoint of direct democracy
- An alternative model of the formation of political coalitions
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams
- State space analysis of Petri nets with relation-algebraic methods
- scientific article; zbMATH DE number 1210360 (Why is no real title available?)
- Investigating and computing bipartitions with algebraic means
- Efficient computation of the large inductive dimension using order- and graph-theoretic means
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces
- Implementing relational specifications in a constraint functional logic language
- A Generic Program for Minimal Subsets with Applications
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- 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
- Computational social choice using relation algebra and RelView
- Social networks: prestige, centrality, and influence (invited paper)
- Computations on simple games using \texttt{RelView}
- Cardinality of relations with applications
- Cardinality functions in allegories
- Control of Condorcet voting: complexity and a relation-algebraic approach
- Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
- Relation algebra with multi-relations
- Axiomatizing the logical core of XPath 2.0
- Cardinality of relations and relational approximation algorithms
- Prover9
- ARA
- Ralf
- Rath
- RALL
- TituRel
- KURE
- Ampersand
- TBAG
- Stone Kleene
- Stone Algebras
- Algorithm 97
- LatDraw
- Kleene Algebra
- Relation Algebra
- Solving hard control problems in voting systems via integer programming
- Relation algebra as programming language using the Ampersand compiler
- Relation algebras and their application in temporal and spatial reasoning
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm
- Relation Algebra and RelView Applied to Approval Voting
- An interdisciplinary approach to coalition formation
This page was built for software: RelView
