Pages that link to "Item:Q372977"
From MaRDI portal
The following pages link to Extended regular expressions: succinctness and decidability (Q372977):
Displaying 24 items.
- Blocksequences of \(k\)-local words (Q831795) (← links)
- An SMT solver for regular expressions and linear arithmetic over string length (Q832270) (← links)
- Extended regular expressions of star degree at most two (Q921911) (← links)
- Succinct representation of regular sets using gotos and Boolean variables (Q1101207) (← links)
- Document spanners: from expressive power to decision problems (Q1650917) (← links)
- On minimizing regular expressions without Kleene star (Q2140503) (← links)
- Deterministic regular expressions with back-references (Q2316926) (← links)
- A logic for document spanners (Q2322723) (← links)
- Characterising REGEX languages by regular languages equipped with factor-referencing (Q2629848) (← links)
- Re-examining regular expressions with backreferences (Q2699953) (← links)
- A Compact Proof of Decidability for Regular Expression Equivalence (Q2914749) (← links)
- Succinctness of the Complement and Intersection of Regular Expressions (Q2946652) (← links)
- Bit-coded Regular Expression Parsing (Q3004600) (← links)
- Extended Regular Expressions: Succinctness and Decidability (Q3113715) (← links)
- Semi-linear Parikh Images of Regular Expressions via Reduction (Q3586120) (← links)
- Deterministic regular expressions with back-references (Q4636631) (← links)
- (Q4963995) (← links)
- (Q5091271) (← links)
- (Q5136316) (← links)
- (Q5556443) (← links)
- Matching patterns with variables under edit distance (Q6111591) (← links)
- On the undecidability and descriptional complexity of synchronized regular expressions (Q6171822) (← links)
- Matching patterns with variables under Simon's congruence (Q6623024) (← links)
- Languages generated by conjunctive query fragments of FC[REG] (Q6661764) (← links)
