A linear time solution to the single function coarsest partition problem (Q1063420): 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(85)90159-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2005652416
@@ Property / OpenAlex ID: W2005652416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065051
@@ Property / cites work: Q4065051 / rank @@
+Normal rank
@@ Property / cites work @@
+The promotion and accumulation strategies in transformational programming
+Normal rank
@@ Property / cites work @@
+Lexicographically least circular substrings
@@ Property / cites work: Lexicographically least circular substrings / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Experience with the SETL Optimizer
@@ Property / cites work: Experience with the SETL Optimizer / rank @@
+Normal rank
@@ Property / cites work @@
+Satins and Twills: An Introduction to the Geometry of Fabrics
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4045961
@@ Property / cites work: Q4045961 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Pattern Matching in Strings
@@ Property / cites work: Fast Pattern Matching in Strings / rank @@
+Normal rank
@@ Property / cites work @@
+The Invalidity of Markoff's Schema
@@ Property / cites work: The Invalidity of Markoff's Schema / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3217616
@@ Property / cites work: Q3217616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339273
@@ Property / cites work: Q3339273 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Differencing of Computable Expressions
@@ Property / cites work: Finite Differencing of Computable Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic data structure choice in a language of very high level
+Normal rank
@@ Property / cites work @@
+Fast canonization of circular strings
@@ Property / cites work: Fast canonization of circular strings / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank