The following pages link to Maria Huber (Q557821):
Displayed 7 items.
- On state-alternating context-free grammars (Q557822) (← links)
- Linearizing term rewriting systems using test sets (Q1332338) (← links)
- Test sets for the universal and existential closure of regular tree languages. (Q1400712) (← links)
- (Q4511317) (← links)
- (Q4938607) (← links)
- (Q4954448) (← links)
- Computing linearizations using test sets (Q5881192) (← links)