scientific article; zbMATH DE number 234018
From MaRDI portal
Publication:5287518
Recommendations
Cited in
(only showing first 100 items - show all)- Applying relational algebra and REL VIEW to coalition formation
- Applying relation algebra and RelView to solve problems on orders and lattices
- Relational algebraic approach to the real numbers the additive group
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
- Nondeterministic semantics of compound diagrams
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
- Continuous Relations and Richardson’s Theorem
- Reasoning about cardinalities of relations with applications supported by proof assistants
- On one routing problem modeling movement in radiation fields
- On properties of ``relation
- A relation-algebraic approach to the ``Hoare logic of functional dependencies
- Computing minimal extending sets by relation-algebraic modeling and development
- Exploring modal worlds
- Hopscotch -- reaching the target hop by hop
- Gunther Schmidt's life as a mathematician and computer scientist
- Relations into algebras of probabilistic distributions
- Relational properties of sequential composition of coalgebras
- Spatial voting games, relation algebra and RelView
- Simple rectangle-based functional programs for computing reflexive-transitive closures
- Unification of graphs and relations in Mizar
- Modelling as a process
- Relational demonic fuzzy refinement
- Sharpness in the Fuzzy World
- The $$\theta $$-Join as a Join with $$\theta $$
- Preference decomposition and the expressiveness of preference query languages
- Relational set theory
- Kleene under a modal demonic star
- Dedekind categories with cutoff operators
- Collagories: relation-algebraic reasoning for gluing constructions
- Partiality. I: Embedding relation algebras
- Algebras of modal operators and partial correctness
- Column-wise extendible vector expressions and the relational computation of sets of sets
- Relation-algebraic modeling and solution of chessboard independence and domination problems
- Formal Concepts in Dedekind Categories
- An algebra of database preferences
- Three-variable statements of set-pairing
- Computing kernels in directed bichromatic graphs
- \(L\)-fuzzy concept analysis using fuzzy categories
- Invariant relations for affine loops
- Relational matching for graphical calculi of relations
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- On graph reasoning
- A calculational approach to mathematical induction
- scientific article; zbMATH DE number 194258 (Why is no real title available?)
- Relation lifting, a survey
- Implementing relational specifications in a constraint functional logic language
- Type-n Arrow Categories
- Universal coalgebra: A theory of systems
- Algebraic separation logic
- A Relation Algebraic Semantics for a Lazy Functional Logic Language
- Boolean Algebras and Stone Maps in Schröder Categories
- Multi-objective Problems in Terms of Relational Algebra
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
- Solving a routing problem with the aid of an independent computations scheme
- Using relation-algebraic means and tool support for investigating and computing bipartitions
- An algebraic calculus of database preferences
- Relational concepts in social choice
- Relational computation of sets of relations
- Cardinality of relations with applications
- Compatibility of refining and controlling plant automata with bisimulation quotients
- Partiality. II: Constructed relation algebras
- Relational topology
- Relational sums and splittings in categories of \(L\)-fuzzy relations
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
- Relational characterisations of paths
- Cardinality of relations and relational approximation algorithms
- Abstract abstract reduction
- Least reflexive points of relations
- Calculating with acyclic and cyclic lists
- Categorical representation theorems of fuzzy relations
- Dependencies in relational models of databases
- Using difunctional relations in information organization
- Improving dynamic programming for travelling salesman with precedence constraints: parallel Morin-Marsten bounding
- An algebraic formalization of fuzzy relations
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm
- Reasoning with graphs
- An interdisciplinary approach to coalition formation
- Non-associative Kleene Algebra and Temporal Logics
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView
- Allegories and collagories for transformation of graph structures considered as coalgebras
- Applying relation algebra and RelView to measures in a social network
- A general method for representing sets of relations by vectors
- Evaluation of German parties and coalitions by methods of the mathematical theory of democracy
- RALL: machine-supported proofs for relation algebra
- Normal forms for binary relations
- Relational mathematics
- Exploring an interface model for CKA
- Peirce algebras
- An Algebra of Layered Complex Preferences
- Cardinalities of Finite Relations in Coq
- Programming from metaphorisms
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
- Denotation by Transformation
- Parallel constructions of maximal path sets and applications to short superstrings
- Rectangles, Fringes, and Inverses
- Parallel composition and decomposition of specifications
- Modal algebra and Petri nets
- Term graph rewriting
- On Automating the Calculus of Relations
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)
