Pages that link to "Item:Q4500172"
From MaRDI portal
The following pages link to Decidability of fourth-order matching (Q4500172):
Displayed 6 items.
- Decidability of bounded higher-order unification (Q2456577) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Model-Checking Games for Typed λ-Calculi (Q2864164) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- Dependency Tree Automata (Q3617723) (← links)
- Decidability of all minimal models (Q4647581) (← links)