The following pages link to Emmanuel Filiot (Q453495):
Displayed 9 items.
- A Pattern Logic for Automata with Outputs (Q5859645) (← links)
- (Q5875385) (← links)
- (Q5875675) (← links)
- Quantitative Languages Defined by Functional Automata (Q5891775) (← links)
- Quantitative Languages Defined by Functional Automata (Q5895229) (← links)
- Decidable weighted expressions with Presburger combinators (Q5915759) (← links)
- Church synthesis on register automata over linearly ordered data domains (Q6151760) (← links)
- (Q6187060) (← links)
- Synthesizing Computable Functions from Rational Specifications Over Infinite Words (Q6195088) (← links)