The following pages link to (Q3757389):
Displaying 5 items.
- Conditional terms in semantic programming (Q1694705) (← links)
- Recursive terms in semantic programming (Q1731392) (← 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)