Parallel constructions of maximal path sets and applications to short superstrings
From MaRDI portal
Publication:1366535
DOI10.1016/0304-3975(95)00082-8zbMath0877.68075OpenAlexW2056240511MaRDI QIDQ1366535
Publication date: 18 September 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(95)00082-8
Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10)
Related Items (7)
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras ⋮ A Hierarchy of Algebras for Boolean Subsets ⋮ Squares in fork arrow logic ⋮ Semantic inheritance in unifying theories of programming ⋮ On fork arrow logic and its expressive power ⋮ Fast RNC and NC algorithms for maximal path sets ⋮ Improved deterministic approximation algorithms for max TSP
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Varieties of relation algebras
- Programming languages and their definition. Selected papers ed. by C. B. Jones
- Relational algebraic semantics of deterministic and nondeterministic programs
- Programs as partial graphs. I: Flow equivalence and correctness
- Programs as partial graphs. II: Recursion
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- Non-embeddable simple relation algebras
- A lattice-theoretical fixpoint theorem and its applications
- Corrigenda: laws of programming
- A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
- Guarded commands, nondeterminacy and formal derivation of programs
- Demonic operators and monotype factors
- Boolean Algebra. A Correction
- Programming as a Discipline of Mathematical Nature
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
This page was built for publication: Parallel constructions of maximal path sets and applications to short superstrings