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

@@ Property / describes a project that uses @@
+Pex
@@ Property / describes a project that uses: Pex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Stranger
@@ Property / describes a project that uses: Stranger / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PASS
@@ Property / describes a project that uses: PASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HAMPI
@@ Property / describes a project that uses: HAMPI / rank @@
+Normal rank
@@ 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.1007/978-3-319-24246-0_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2295723447
@@ Property / OpenAlex ID: W2295723447 / rank @@
+Normal rank
@@ 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