The following pages link to Jesús Emilio Domínguez (Q2052577):
Displayed 5 items.
- Extending free actions of finite groups on surfaces (Q2052578) (← links)
- Nominal syntax with atom substitutions: matching, unification, rewriting (Q2291414) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Relating Nominal and Higher-Order Rewriting (Q2922019) (← links)
- From nominal to higher-order rewriting and back again (Q3460411) (← links)