scientific article; zbMATH DE number 234018

zbMATH Open0900.68328MaRDI QIDQ5287518FDOQ5287518

Authors: Gunther Schmidt, Thomas Ströhlein

Publication date: 8 July 1993

Title of this publication is not available (Why is that?)

Recommendations

scientific article; zbMATH DE number 1086626
scientific article; zbMATH DE number 52313
scientific article; zbMATH DE number 4088940
Relational mathematics

Graph theory (including graph drawing) in computer science (68R10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited In (only showing first 100 items - show all)

Applying relation algebra and RelView to solve problems on orders and lattices
Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
Continuous Relations and Richardson’s Theorem
Nondeterministic semantics of compound diagrams
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
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
Computing kernels in directed bichromatic graphs
Relation-algebraic verification of Prim's minimum spanning tree algorithm
Relational matching for graphical calculi of relations
Title not available (Why is that?)
Implementing relational specifications in a constraint functional logic language
A calculational approach to mathematical induction
On graph reasoning
Relation lifting, a survey
Universal coalgebra: A theory of systems
Algebraic separation logic
An algebraic calculus of database preferences
Relational concepts in social choice
Relational computation of sets of relations
Cardinality of relations with applications
Partiality. II: Constructed relation algebras
Relational topology
Cardinality of relations and relational approximation algorithms
Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
Relational characterisations of paths
Abstract abstract reduction
Least reflexive points of relations
Using difunctional relations in information organization
Calculating with acyclic and cyclic lists
Categorical representation theorems of fuzzy relations
Reasoning with graphs
An algebraic formalization of fuzzy relations
An interdisciplinary approach to coalition formation
Computing and Visualizing Closure Objects Using Relation Algebra and RelView
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
Relational mathematics
Exploring an interface model for CKA
An Algebra of Layered Complex Preferences
Peirce algebras
Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
Parallel constructions of maximal path sets and applications to short superstrings
Rectangles, Fringes, and Inverses
Term graph rewriting
On Automating the Calculus of Relations
Modal algebra and Petri nets
Parallel composition and decomposition of specifications
Simple feature engineering via neat default retrenchments
Relational state transition dynamics
Relations in linear algebra
Stronger compositions for retrenchments
Relational depth-first-search with applications
Regular relations and bicartesian squares
Relation-algebraic computation of fixed points with applications
Applying relational algebra and REL VIEW to coalition formation
Reasoning about cardinalities of relations with applications supported by proof assistants
On one routing problem modeling movement in radiation fields
On properties of ``relation
Modelling as a process
Simple rectangle-based functional programs for computing reflexive-transitive closures
Unification of graphs and relations in Mizar
Sharpness in the Fuzzy World
The $$\theta $$-Join as a Join with $$\theta $$
Relational demonic fuzzy refinement
Preference decomposition and the expressiveness of preference query languages
Formal Concepts in Dedekind Categories
An algebra of database preferences
Three-variable statements of set-pairing
$L$-fuzzy concept analysis using fuzzy categories
Invariant relations for affine loops
Type-n Arrow Categories
Solving a routing problem with the aid of an independent computations scheme
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
Using relation-algebraic means and tool support for investigating and computing bipartitions
Compatibility of refining and controlling plant automata with bisimulation quotients
Relational sums and splittings in categories of $L$-fuzzy relations
Dependencies in relational models of databases
Improving dynamic programming for travelling salesman with precedence constraints: parallel Morin-Marsten bounding
Relation-algebraic verification of Borůvka's minimum spanning tree algorithm
Non-associative Kleene Algebra and Temporal Logics
Allegories and collagories for transformation of graph structures considered as coalgebras
A general method for representing sets of relations by vectors

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)