scientific article; zbMATH DE number 194258
From MaRDI portal
Publication:4041054
Other classical set theory (including functions, relations, and set algebra) (03E20) Graph algorithms (graph-theoretic aspects) (05C85) Applications of graph theory (05C90) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Graph theory (including graph drawing) in computer science (68R10) Discrete mathematics in relation to computer science (68R99)
Recommendations
Cited in
(41)- On fuzzification of some concepts of graphs
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- Partiality. II: Constructed relation algebras
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Infinite executions of lazy and strict computations
- A relational division operator: The conjugate kernel
- Choices and kernels in bipolar valued digraphs
- Second-order properties of undirected graphs
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams
- Relational concepts in social choice
- A relation-algebraic approach to multirelations and predicate transformers
- An algebraic approach to computations with progress
- Lazy Relations
- Cardinality in Allegories
- Rectangles, Fringes, and Inverses
- An Ordered Category of Processes
- scientific article; zbMATH DE number 130890 (Why is no real title available?)
- Multirelations with infinite computations
- Hopscotch -- reaching the target hop by hop
- scientific article; zbMATH DE number 4116531 (Why is no real title available?)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
- An algebraic approach to multirelations and their properties
- Relations as images
- Stone relation algebras
- Fixpoints for general correctness
- Imperative abstractions for functional actions
- Cardinality functions in allegories
- Dependences between domain constructions in heterogeneous relation algebras
- Determinism of multirelations
- Relation-algebraic verification of disjoint-set forests
- Embedding a demonic semilattice in a relation algebra
- Cardinality and representation of Stone relation algebras
- On the inner structure of multirelations
- Modal algebra of multirelations
- Membership values in arrow categories
- Relational Divisibility
- Normal design algebra
- Relational measures and integration in preference modeling
- Products in categories of relations
- Embedding mappings and splittings with applications
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)
