The following pages link to Nicolas Mazzocchi (Q1622975):
Displaying 8 items.
- A pattern logic for automata with outputs (Q1622976) (← links)
- (Q5089219) (← links)
- (Q5089282) (← links)
- A Pattern Logic for Automata with Outputs (Q5859645) (← links)
- Two-Way Parikh Automata (Q5875675) (← links)
- Decidable weighted expressions with Presburger combinators (Q5915759) (← links)
- (Q6134263) (← links)
- Regular methods for operator precedence languages (Q6638139) (← links)
