Pages that link to "Item:Q5278214"
From MaRDI portal
The following pages link to Progression of Decomposed Local-Effect Action Theories (Q5278214):
Displaying 5 items.
- On the relationship between the complexity of decidability and decomposability of first-order theories (Q2062094) (← links)
- The impact of higher-order state and control effects on local relational reasoning (Q3165524) (← links)
- Complex action suggests future-included theory (Q3379644) (← links)
- The impact of higher-order state and control effects on local relational reasoning (Q5176935) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)