Pages that link to "Item:Q1731392"
From MaRDI portal
The following pages link to Recursive terms in semantic programming (Q1731392):
Displaying 7 items.
- Conditional terms in semantic programming (Q1694705) (← links)
- The expressiveness of looping terms in the semantic programming (Q2306056) (← links)
- On termination of transactions over semantic document models (Q2307928) (← links)
- On decidability of list structures (Q2332060) (← links)
- (Q3759933) (← links)
- Definable Subsets of Polynomial-Time Algebraic Structures (Q5042236) (← links)
- (Q6086228) (← links)