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
From MaRDI portal
Publication:553336
Recommendations
- Special issue: First games for logic and programming languages workshop (GaLoP 2005), Edinburgh, UK, 2005. Selected papers
- 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
- Special issue: Selected papers based on the presentations at the 28th international conference on logic programming, ICLP, Budapest, Hungary, September 4--8, 2012
- Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29--31, 2013
- Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21--22, 2020
- Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20--22, 2017
- Games, automata, logics, and formal verification (GandALF 2013)
- Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21--22, 2015
- Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2--3, 2019
- Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26--28, 2018
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q553336)
