Pages that link to "Item:Q4716050"
From MaRDI portal
The following pages link to Counting variables in a dynamic setting (Q4716050):
Displaying 6 items.
- Scope control and grammatical dependencies (Q1006465) (← links)
- About finite predicate logic (Q1088979) (← links)
- Dynamic bracketing and discourse representation (Q1815432) (← links)
- Variables as stacks. A case study in dynamic model theory (Q1973928) (← links)
- Semantically restricted argument dependencies (Q2429990) (← links)
- A calculus of substitutions for DPL (Q5951894) (← links)