activity
20142022
most citedSymbolic Solving of Extended Regular Expression Inequalities

3 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing cs.FLShow all

2 papers · 1 filter

cs.FL2016

Partial Derivatives for Context-Free Languages: From -Regular Expressions to Pushdown Automata

Peter Thiemann

We extend Antimirov's partial derivatives from regular expressions to -regular expressions that describe context-free languages. We prove the correctness of partial derivatives…

cs.FL2014★ 3 cited

Symbolic Solving of Extended Regular Expression Inequalities

Matthias Keil, Peter Thiemann

This paper presents a new solution to the containment problem for extended regular expressions that extends basic regular expressions with intersection and complement operators and…