scientific article; zbMATH DE number 234018

zbMath0900.68328MaRDI QIDQ5287518

Gunther Schmidt, Thomas Ströhlein

Publication date: 8 July 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

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

On difunctions ⋮ Relational algebraic approach to the real numbers the additive group ⋮ Modelling as a process ⋮ A general method for representing sets of relations by vectors ⋮ Compatibility of refining and controlling plant automata with bisimulation quotients ⋮ Goals and benchmarks for automated map reasoning ⋮ Using difunctional relations in information organization ⋮ Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} ⋮ Cardinality of relations and relational approximation algorithms ⋮ Algebras of modal operators and partial correctness ⋮ Using relation-algebraic means and tool support for investigating and computing bipartitions ⋮ Regular relations and bicartesian squares ⋮ 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 ⋮ Peirce algebras ⋮ Computing kernels in directed bichromatic graphs ⋮ Three-variable statements of set-pairing ⋮ Relation lifting, a survey ⋮ Dependencies in relational models of databases ⋮ An interdisciplinary approach to coalition formation ⋮ Relational set theory ⋮ Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm ⋮ 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 ⋮ Applying relational algebra and REL VIEW to coalition formation ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Relations in linear algebra ⋮ 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 ⋮ Computing and visualizing Banks sets of dominance relations using relation algebra and RelView ⋮ Programming from metaphorisms ⋮ A Relation-Algebraic Treatment of the Dedekind Recursion Theorem ⋮ The $$\theta $$-Join as a Join with $$\theta $$ ⋮ Sharpness in the Fuzzy World ⋮ A calculational approach to mathematical induction ⋮ Relation-algebraic modeling and solution of chessboard independence and domination problems ⋮ Partiality. II: Constructed relation algebras ⋮ 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 ⋮ 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 ⋮ Geographic wayfinders and space-time algebra ⋮ 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 ⋮ Relational characterisations of paths ⋮ Simple feature engineering via neat default retrenchments ⋮ 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 ⋮ On Automating the Calculus of Relations ⋮ Applying relation algebra and RelView to solve problems on orders and lattices ⋮ Relational state transition dynamics ⋮ Term graph rewriting ⋮ Shuffles and concatenations in the construction of graphs ⋮ Reasoning with Graphs ⋮ Dedekind categories with cutoff operators ⋮ Algebraic separation logic ⋮ Collagories: relation-algebraic reasoning for gluing constructions ⋮ Stronger compositions for retrenchments ⋮ Normal forms for binary relations ⋮ Solving a Routing Problem with the Aid of an Independent Computations Scheme ⋮ On graph reasoning ⋮ Cardinality of relations with applications ⋮ On one routing problem modeling movement in radiation fields ⋮ Computing and Visualizing Closure Objects Using Relation Algebra and RelView ⋮ Cardinalities of Finite Relations in Coq ⋮ RALL: Machine-supported proofs for relation algebra ⋮ 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 ⋮ Universal coalgebra: A theory of systems ⋮ Denotation by Transformation ⋮ Relational demonic fuzzy refinement ⋮ An algebraic formalization of fuzzy relations ⋮ Modal algebra and Petri nets ⋮ Improving dynamic programming for travelling salesman with precedence constraints: parallel Morin–Marsten bounding ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures ⋮ An algebra of database preferences ⋮ Relational depth-first-search with applications

This page was built for publication: