The following pages link to Jean-Luc Coquidé (Q1325835):
Displayed 8 items.
- Bottom-up tree pushdown automata: Classification and connection with rewrite systems (Q1325836) (← links)
- Decidability of reachability for disjoint union of term rewriting systems (Q1325846) (← links)
- Automata for reduction properties solving (Q1911400) (← links)
- (Q3974858) (← links)
- (Q3979263) (← links)
- Pumping, cleaning and symbolic constraints solving (Q4632446) (← links)
- Bottom-up tree pushdown automata and rewrite systems (Q5055768) (← links)
- Encompassment properties and automata with constraints (Q5055805) (← links)