scientific article; zbMATH DE number 234018
From MaRDI portal
Publication:5287518
Recommendations
Cited in
(only showing first 100 items - show all)- 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
- An algebraic formalization of fuzzy relations
- Regular relations and bicartesian squares
- Peirce algebras
- Parallel constructions of maximal path sets and applications to short superstrings
- A calculational approach to mathematical induction
- Universal coalgebra: A theory of systems
- Relational depth-first-search with applications
- Parallel composition and decomposition of specifications
- Programming from metaphorisms
- Relational topology
- Three-variable statements of set-pairing
- Relation-algebraic modeling and solution of chessboard independence and domination problems
- Partiality. II: Constructed relation algebras
- Calculating with acyclic and cyclic lists
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
- Categorical representation theorems of fuzzy relations
- Relational matching for graphical calculi of relations
- Unification of graphs and relations in Mizar
- Relational characterisations of paths
- Relational demonic fuzzy refinement
- Modal algebra and Petri nets
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
- An algebra of database preferences
- Using relation-algebraic means and tool support for investigating and computing bipartitions
- Dependencies in relational models of databases
- An interdisciplinary approach to coalition formation
- Relations in linear algebra
- Geographic wayfinders and space-time algebra
- Normal forms for binary relations
- Nondeterministic semantics of compound diagrams
- Relational computation of sets of relations
- Experimental investigation of sufficient criteria for relations to have kernels
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm
- Relational sums and splittings in categories of L-fuzzy relations
- Change of base using arrow categories
- Cardinalities of Finite Relations in Coq
- Computing kernels in directed bichromatic graphs
- Implementing relational specifications in a constraint functional logic language
- An algebraic calculus of database preferences
- Simple rectangle-based functional programs for computing reflexive-transitive closures
- Two observations in dioid based model refinement
- Relational concepts in social choice
- An Algebra of Layered Complex Preferences
- Continuous Relations and Richardson’s Theorem
- Exploring an interface model for CKA
- Preference decomposition and the expressiveness of preference query languages
- Column-wise extendible vector expressions and the relational computation of sets of sets
- Relation lifting, a survey
- Relational mathematics
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- Relations: concrete, abstract, and applied. An introduction
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
- A Relation Algebraic Semantics for a Lazy Functional Logic Language
- Multi-objective Problems in Terms of Relational Algebra
- Formal Concepts in Dedekind Categories
- Boolean Algebras and Stone Maps in Schröder Categories
- Rectangles, Fringes, and Inverses
- On Automating the Calculus of Relations
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView
- scientific article; zbMATH DE number 3984541 (Why is no real title available?)
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
- scientific article; zbMATH DE number 194258 (Why is no real title available?)
- Computing minimal extending sets by relation-algebraic modeling and development
- Spatial voting games, relation algebra and RelView
- Exploring modal worlds
- Hopscotch -- reaching the target hop by hop
- A relation-algebraic approach to the ``Hoare logic of functional dependencies
- Relations into algebras of probabilistic distributions
- Relational properties of sequential composition of coalgebras
- Gunther Schmidt's life as a mathematician and computer scientist
- scientific article; zbMATH DE number 1086626 (Why is no real title available?)
- Term graph rewriting
- Shuffles and concatenations in the construction of graphs
- Solving a routing problem with the aid of an independent computations scheme
- Reasoning with graphs
- On one routing problem modeling movement in radiation fields
- Relational set theory
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
- The \theta -Join as a Join with \theta
- Sharpness in the Fuzzy World
- On properties of ``relation
- RALL: machine-supported proofs for relation algebra
- Non-associative Kleene Algebra and Temporal Logics
- Algebraic investigation of connected components
- Allegories and collagories for transformation of graph structures considered as coalgebras
- Reasoning about cardinalities of relations with applications supported by proof assistants
- Type-n Arrow Categories
- Dedekind categories with cutoff operators
- Algebraic separation logic
- Collagories: relation-algebraic reasoning for gluing constructions
- Denotation by Transformation
- Improving dynamic programming for travelling salesman with precedence constraints: parallel Morin-Marsten bounding
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
- Goals and benchmarks for automated map reasoning
- Using difunctional relations in information organization
- Cardinality of relations and relational approximation algorithms
- On difunctions
- Relational algebraic approach to the real numbers the additive group
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5287518)
