Pages that link to "Item:Q2332060"
From MaRDI portal
The following pages link to On decidability of list structures (Q2332060):
Displaying 7 items.
- The theory of lists and \(\Sigma\)-definability (Q447718) (← links)
- The expressiveness of looping terms in the semantic programming (Q2306056) (← links)
- Decidable structures between Church-style and Curry-style (Q2958384) (← links)
- (Q5309512) (← links)
- Proving Properties about Lists Using Containers (Q5458431) (← links)
- On the theory of bags and lists (Q5946328) (← links)
- Quantifier-free induction for lists (Q6617170) (← links)