RelView
From MaRDI portal
Software:13546
swMATH798MaRDI QIDQ13546FDOQ13546
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Applying relation algebra and RelView to solve problems on orders and lattices
- Tool-Based Verification of a Relational Vertex Coloring Program
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
- Embedding mappings and splittings with applications
- On Automated Program Construction and Verification
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mitigating covert channels based on analysis of the potential for communication
- Relation Algebra, RelView, and Plurality Voting
- Social Software for Coalition Formation
- 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
- Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms
- Contact, closure, topology, and the linking of row and column types of relations
- Exact computation of minimum feedback vertex sets with relational algebra
- A set solver for finite set relation algebra
- Relation-algebraic modeling and solution of chessboard independence and domination problems
- Relational measures and integration in preference modeling
- Implementing relational specifications in a constraint functional logic language
- 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
- Relational Methods in Computer Science
- Computational social choice using relation algebra and 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
- Cardinality of relations and relational approximation algorithms
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
- Axiomatizing the logical core of XPath 2.0
- Automated Verification of Relational While-Programs
- Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets
- Solving hard control problems in voting systems via integer programming
- Relation algebras and their application in temporal and spatial reasoning
- Relation Algebra and RelView Applied to Approval Voting
- Algebraic Visualization of Relations Using RelView
- An interdisciplinary approach to coalition formation
- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm
- Applying relation algebra and RelView to measures in a social network
- Evaluation of German parties and coalitions by methods of the mathematical theory of democracy
- Stone Relation Algebras
- An efficient relational deductive system for propositional non-classical logics
- An algebraic framework for minimum spanning tree problems
- Orders, lattices and relations with applications
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH
- Social Networks: Prestige, Centrality, and Influence
- Title not available (Why is that?)
- Computations on Simple Games Using RelView
- Ordnungen, Verbände und Relationen mit Anwendungen
- Modal algebra and Petri nets
- 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
- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView
- 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
- Relational depth-first-search with applications
- A relation-algebraic approach to simple games
- On the Analysis of Petri Nets and their Synthesis from Process Languages
- Relation-algebraic computation of fixed points with applications
- Applying relational algebra and REL VIEW to coalition formation
- A Functional, Successor List Based Version of Warshall’s Algorithm with Applications
- Relational Methods in Computer Science
- 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 relation-algebraic approach to liveness of place/transition nets
- Software Development in Relation Algebra with Ampersand
- 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
- Title not available (Why is that?)
- State space analysis of Petri nets with relation-algebraic methods
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces
- A Generic Program for Minimal Subsets with Applications
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures
- Multi-objective Problems in Terms of Relational Algebra
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
- Relation algebra with multi-relations
- Relation algebra as programming language using the Ampersand compiler
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm
- Relational and Kleene-Algebraic Methods in Computer Science
- Title not available (Why is that?)
- Investigating and Computing Bipartitions with Algebraic Means
- Modeling sequences within the RelView system
- Relations as Images
- Relational Construction of Specific Timetables
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
- Contact relations with applications
- Relational Modelling and Solution of Chessboard Problems
- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
This page was built for software: RelView