Login / Signup

Alternation Elimination for Automata over Nested Words.

Christian DaxFelix Klaedtke
Published in: FoSSaCS (2011)
Keyphrases