Pages that link to "Item:Q1799104"
From MaRDI portal
The following pages link to Deciding the first-order theory of an algebra of feature trees with updates (Q1799104):
Displaying 4 items.
- Strongly mixing convolution operators on Fréchet spaces of entire functions of a given type and order (Q786085) (← links)
- Constructing infinitary quotient-inductive types (Q2200826) (← links)
- The first-order theory of ordering constraints over feature trees (Q2752467) (← links)
- Convolution operators on spaces of entire functions (Q4603107) (← links)