Pages that link to "Item:Q5492958"
From MaRDI portal
The following pages link to Fundamentals of Computation Theory (Q5492958):
Displaying 7 items.
- Emptiness Of Alternating Tree Automata Using Games With Imperfect Information (Q2963922) (← links)
- Cooperating Distributed Tree Automata (Q3166944) (← links)
- On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
- Alternating Tree Automata and Parity Games (Q4412832) (← links)
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191530) (← links)
- Asynchronous Games over Tree Architectures (Q5327440) (← links)
- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis (Q5448644) (← links)