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
zbMATH Open1250.68042MaRDI QIDQ2889248FDOQ2889248
Authors:
Publication date: 6 June 2012
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Recommendations
- 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
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)
Cited In (3)
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)
