scientific article
Publication:4041054
zbMATH Open0705.68083MaRDI QIDQ4041054FDOQ4041054
Thomas Ströhlein, Gunther Schmidt
Publication date: 5 June 1993
Title of this publication is not available (Why is that?)
Applications of graph theory (05C90) Graph algorithms (graph-theoretic aspects) (05C85) Graph theory (including graph drawing) in computer science (68R10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Discrete mathematics in relation to computer science (68R99) Other classical set theory (including functions, relations, and set algebra) (03E20)
Cited In (37)
- Embedding mappings and splittings with applications
- Dependences between domain constructions in heterogeneous relation algebras
- Products in categories of relations
- Lazy Relations
- Determinism of multirelations
- Hopscotch -- reaching the target hop by hop
- Multirelations with infinite computations
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
- Title not available (Why is that?)
- Fixpoints for general correctness
- Embedding a demonic semilattice in a relation algebra
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams
- Relational measures and integration in preference modeling
- Choices and kernels in bipolar valued digraphs
- Membership values in arrow categories
- Verifying minimum spanning tree algorithms with Stone relation algebras
- An algebraic approach to computations with progress
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- Cardinality in Allegories
- On fuzzification of some concepts of graphs
- Partiality. II: Constructed relation algebras
- Cardinality functions in allegories
- Imperative abstractions for functional actions
- Normal design algebra
- Relation-algebraic verification of disjoint-set forests
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers
- A relational division operator: The conjugate kernel
- Stone Relation Algebras
- Relational Concepts in Social Choice
- Relations as Images
- Title not available (Why is that?)
- An Ordered Category of Processes
- Rectangles, Fringes, and Inverses
- Infinite executions of lazy and strict computations
- Second-order properties of undirected graphs
- An algebraic approach to multirelations and their properties
Recommendations
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 Q4041054)
