Pages that link to "Item:Q1978466"
From MaRDI portal
The following pages link to Reasoning about action in polynomial time (Q1978466):
Displaying 4 items.
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Reasoning about action in polynomial time (Q1978466) (← links)