RelView

No author found.

Related Items (only showing first 100 items - show all)

Cardinality of relations and relational approximation algorithms ⋮ Relational Methods in Computer Science ⋮ Relational Methods in Computer Science ⋮ A set solver for finite set relation algebra ⋮ Relation algebra with multi-relations ⋮ Relations as Images ⋮ Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces ⋮ Stone Relation Algebras ⋮ Software Development in Relation Algebra with Ampersand ⋮ Unnamed Item ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ Unnamed Item ⋮ An interdisciplinary approach to coalition formation ⋮ Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm ⋮ Social Software for Coalition Formation ⋮ Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView ⋮ Control of Condorcet voting: complexity and a relation-algebraic approach ⋮ Solving hard control problems in voting systems via integer programming ⋮ Investigating and Computing Bipartitions with Algebraic Means ⋮ Tool-Based Verification of a Relational Vertex Coloring Program ⋮ Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures ⋮ Relation Algebras, Matrices, and Multi-valued Decision Diagrams ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Applying relational algebra and REL VIEW to coalition formation ⋮ Unnamed Item ⋮ Relations in linear algebra ⋮ Relation-algebraic specification and solution of special university timetabling problems ⋮ Cardinality functions in allegories ⋮ Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets ⋮ Computing and visualizing Banks sets of dominance relations using relation algebra and RelView ⋮ On the use of binary decision diagrams for solving problems on simple games ⋮ Relation-algebraic modeling and solution of chessboard independence and domination problems ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ Relation Algebra and RelView in Practical Use: Construction of Special University Timetables ⋮ Multi-objective Problems in Terms of Relational Algebra ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ Computing minimal extending sets by relation-algebraic modeling and development ⋮ Spatial voting games, relation algebra and RelView ⋮ Multirelations with infinite computations ⋮ A relation-algebraic approach to the ``Hoare logic of functional dependencies ⋮ Gunther Schmidt's life as a mathematician and computer scientist ⋮ Algebraic Visualization of Relations Using RelView ⋮ Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView ⋮ A relation-algebraic approach to simple games ⋮ Experimental investigation of sufficient criteria for relations to have kernels ⋮ Relation-algebraic verification of Borůvka's minimum spanning tree algorithm ⋮ Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms ⋮ Unnamed Item ⋮ Combining relational calculus and the Dijkstra-Gries method for deriving relational programs ⋮ Applying relation algebra and RelView to solve problems on orders and lattices ⋮ German parliamentary elections 2009 from the viewpoint of direct democracy ⋮ Relational measures and integration in preference modeling ⋮ Relational Construction of Specific Timetables ⋮ 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 ⋮ Social Networks: Prestige, Centrality, and Influence ⋮ Relational Modelling and Solution of Chessboard Problems ⋮ A Functional, Successor List Based Version of Warshall’s Algorithm with Applications ⋮ Relational and Kleene-Algebraic 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 ⋮ Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool ⋮ Automated Verification of Relational While-Programs ⋮ Relation Algebra and RelView Applied to Approval Voting ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ On Automated Program Construction and Verification ⋮ Mitigating covert channels based on analysis of the potential for communication ⋮ Computing tournament solutions using relation algebra and RelView ⋮ An alternative model of the formation of political coalitions ⋮ Embedding mappings and splittings with applications ⋮ Contact, closure, topology, and the linking of row and column types of relations ⋮ Axiomatizing the logical core of XPath 2.0 ⋮ Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces ⋮ Relation algebras and their application in temporal and spatial reasoning ⋮ Relation algebra as programming language using the Ampersand compiler ⋮ An algebraic framework for minimum spanning tree problems ⋮ Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView ⋮ Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell ⋮ Cardinality of relations with applications ⋮ State space analysis of Petri nets with relation-algebraic methods ⋮ A Generic Program for Minimal Subsets with Applications ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Computations on Simple Games Using RelView ⋮ On the Analysis of Petri Nets and their Synthesis from Process Languages ⋮ Computing and Visualizing Closure Objects Using Relation Algebra and RelView ⋮ Relational Methods in Computer Science ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ Computational Social Choice Using Relation Algebra and RelView ⋮ A Relation-Algebraic Approach to Liveness of Place/Transition Nets ⋮ Contact Relations with Applications ⋮ Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means ⋮ Unnamed Item ⋮ 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 ⋮ Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem ⋮ Modal algebra and Petri nets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures ⋮ Relational depth-first-search with applications ⋮ Implementing Relational Specifications in a Constraint Functional Logic Language

This page was built for software: RelView