Pages that link to "Item:Q2306056"
From MaRDI portal
The following pages link to The expressiveness of looping terms in the semantic programming (Q2306056):
Displaying 8 items.
- Conditional terms in semantic programming (Q1694705) (← links)
- Recursive terms in semantic programming (Q1731392) (← links)
- Extending the loop language with higher-order procedural variables (Q2946583) (← links)
- (Q4493907) (← links)
- (Q4874575) (← links)
- Definable Subsets of Polynomial-Time Algebraic Structures (Q5042236) (← links)
- Guided unfoldings for finding loops in standard term rewriting (Q6085974) (← links)
- (Q6086228) (← links)