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
Formal languages and automata (68Q45) 2-person games (91A05) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Proceedings, conferences, collections, etc. pertaining to game theory, economics, and finance (91-06) Stochastic games, stochastic differential games (91A15) Games involving graphs (91A43) Temporal logic (03B44) Positional games (pursuit and evasion, etc.) (91A24) Other applications of logic (03B80)
- scientific article; zbMATH DE number 6904750
- Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
- 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 fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10--12, 2014
- Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21--22, 2015
- Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14--16, 2016
- scientific article; zbMATH DE number 7544355
- Games, automata, logics, and formal verification (GandALF 2013)
- Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20--22, 2017
- Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2--3, 2019
- Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
- 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
- scientific article; zbMATH DE number 6904750 (Why is no real title available?)
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2889248)
