Simple linear string constraints (Q469349): Difference between revisions

@@ Property / cites work @@
+Streaming transducers for algorithmic verification of single-pass list-processing programs
+Normal rank
@@ Property / cites work @@
+Applied Cryptography and Network Security
@@ Property / cites work: Applied Cryptography and Network Security / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
+Normal rank
@@ Property / cites work @@
+Path Feasibility Analysis for String-Manipulating Programs
+Normal rank
@@ Property / cites work @@
+Q4813388
@@ Property / cites work: Q4813388 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expression containment
@@ Property / cites work: Regular expression containment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+An Evaluation of Automata Algorithms for String Analysis
+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 @@
+Q2776249
@@ Property / cites work: Q2776249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Automata Constraint Solving
@@ Property / cites work: Symbolic Automata Constraint Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Symbolic String Verification: Combining String Analysis and Size Analysis
+Normal rank