A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings (Q2964458): Difference between revisions

@@ Property / cites work @@
+Partial derivatives of regular expressions and finite automaton constructions
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-linear Parikh Images of Regular Expressions via Reduction
+Normal rank
@@ Property / cites work @@
+From regular expressions to deterministic automata
+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 @@
+An Evaluation of Automata Algorithms for String Analysis
+Normal rank
@@ Property / cites work @@
+Q4540967
@@ Property / cites work: Q4540967 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of word equations with constants is in PSPACE
+Normal rank
@@ Property / cites work @@
+Q4447254
@@ Property / cites work: Q4447254 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Symbolic Finite Automata
@@ Property / cites work: Applications of Symbolic Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Automata Constraint Solving
@@ Property / cites work: Symbolic Automata Constraint Solving / rank @@
+Normal rank