Parallel constructions of maximal path sets and applications to short superstrings (Q1366535): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00082-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2056240511
@@ Property / OpenAlex ID: W2056240511 / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic operators and monotype factors
@@ Property / cites work: Demonic operators and monotype factors / rank @@
+Normal rank
@@ Property / cites work @@
+Programming languages and their definition. Selected papers ed. by C. B. Jones
+Normal rank
@@ Property / cites work @@
+Relational algebraic semantics of deterministic and nondeterministic programs
+Normal rank
@@ Property / cites work @@
+Q3055596
@@ Property / cites work: Q3055596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192046
@@ Property / cites work: Q4192046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5810602
@@ Property / cites work: Q5810602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385541
@@ Property / cites work: Q4385541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4125720
@@ Property / cites work: Q4125720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649409
@@ Property / cites work: Q5649409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057558
@@ Property / cites work: Q4057558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4113375
@@ Property / cites work: Q4113375 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+Corrigenda: laws of programming
@@ Property / cites work: Corrigenda: laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3740201
@@ Property / cites work: Q3740201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3763567
@@ Property / cites work: Q3763567 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebra. A Correction
@@ Property / cites work: Boolean Algebra. A Correction / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of relation algebras
@@ Property / cites work: Varieties of relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011720
@@ Property / cites work: Q4011720 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5653564
@@ Property / cites work: Q5653564 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-embeddable simple relation algebras
@@ Property / cites work: Non-embeddable simple relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011723
@@ Property / cites work: Q4011723 / rank @@
+Normal rank
@@ Property / cites work @@
+The origin of relation algebras in the development and axiomatization of the calculus of relations
+Normal rank
@@ Property / cites work @@
+Q5553248
@@ Property / cites work: Q5553248 / rank @@
+Normal rank
@@ Property / cites work @@
+A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906397
@@ Property / cites work: Q3906397 / rank @@
+Normal rank
@@ Property / cites work @@
+Programs as partial graphs. I: Flow equivalence and correctness
+Normal rank
@@ Property / cites work @@
+Programs as partial graphs. II: Recursion
@@ Property / cites work: Programs as partial graphs. II: Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582294
@@ Property / cites work: Q5582294 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank