Pages that link to "Item:Q921968"
From MaRDI portal
The following pages link to Determinism and looping in combinatory PDL (Q921968):
Displaying 5 items.
- An essay in combinatory dynamic logic (Q809068) (← links)
- On the undecidability of logics with converse, nominals, recursion and counting (Q814615) (← links)
- A modal logic for cyclic repeating (Q1201727) (← links)
- Modal logic with names (Q1310624) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
