Pages that link to "Item:Q5466474"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466474):
Displaying 12 items.
- Equivariant unification (Q616849) (← links)
- Nominal unification with atom-variables (Q1640638) (← links)
- Checking overlaps of nominal rewriting rules (Q1744404) (← links)
- Nominal rewriting (Q2373703) (← links)
- Encoding abstract syntax without fresh names (Q2392477) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Implementing nominal unification (Q2867897) (← links)
- Unifying Nominal Unification (Q2958381) (← links)
- Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (Q3061275) (← links)
- Nominal unification with atom and context variables (Q4993360) (← links)
- Term Rewriting and Applications (Q5703876) (← links)
- Typed Lambda Calculi and Applications (Q5704024) (← links)