Pages that link to "Item:Q897643"
From MaRDI portal
The following pages link to Games, automata, logics, and formal verification (GandALF 2013) (Q897643):
Displaying 4 items.
- Special issue: Selected papers based on the presentations at the 3rd workshop on games for logic and programming languages, GaLoP, Budapest, Hungary, April 5--6, 2008 (Q553336) (← links)
- Logic and games on automatic structures. Playing with quantifiers and decompositions (Q555655) (← links)
- Special issue: Games, Automata, logic, and formal verification (GandALF 2010). Selected papers based on the presentations at the 1st symposium, Minori, Itay, June 17--18, 2010 (Q2889248) (← links)
- Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification (Q6076872) (← links)