String theories involving regular membership predicates: from practice to theory and back (Q2140459): Difference between revisions

@@ Property / describes a project that uses @@
+Norn
@@ Property / describes a project that uses: Norn / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z3str3
@@ Property / describes a project that uses: Z3str3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z3str2
@@ Property / describes a project that uses: Z3str2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Saner
@@ Property / describes a project that uses: Saner / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3201395094
@@ Property / OpenAlex ID: W3201395094 / rank @@
+Normal rank
@@ Property / cites work @@
+String theories involving regular membership predicates: from practice to theory and back
+Normal rank
@@ Property / cites work @@
+An SMT solver for regular expressions and linear arithmetic over string length
+Normal rank
@@ Property / cites work @@
+Finite automata and unary languages
@@ Property / cites work: Finite automata and unary languages / rank @@
+Normal rank
@@ Property / cites work @@
+On solving word equations using SAT
@@ Property / cites work: On solving word equations using SAT / rank @@
+Normal rank
@@ Property / cites work @@
+The satisfiability of word equations: decidable and undecidable theories
+Normal rank
@@ Property / cites work @@
+More Than 1700 Years of Word Equations
@@ Property / cites work: More Than 1700 Years of Word Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427903
@@ Property / cites work: Q4427903 / rank @@
+Normal rank
@@ Property / cites work @@
+Chrobak Normal Form Revisited, with Applications
@@ Property / cites work: Chrobak Normal Form Revisited, with Applications / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey on Fooling Sets as Effective Tools for Lower Bounds on Nondeterministic Complexity
+Normal rank
@@ Property / cites work @@
+Q5111427
@@ Property / cites work: Q5111427 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q5613947
@@ Property / cites work: Q5613947 / rank @@
+Normal rank
@@ Property / cites work @@
+Z3str2: an efficient solver for strings, regular expressions, and length constraints
+Normal rank