Games, automata, logics, and formal verification (GandALF 2013)

DOI10.1016/J.IC.2015.06.002zbMATH Open1329.00223OpenAlexW2231911457MaRDI QIDQ897643FDOQ897643

Authors:

Publication date: 7 December 2015

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2015.06.002

Recommendations

• Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29--31, 2013
• Preface: Games, automata, logics and formal verification (GandALF 2016)
• Preface to the special issue on GandALF 2012
• Preface
• Games, automata, logics and formal verification (GandALF 2014) -- Preface

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Proceedings of conferences of miscellaneous specific interest (00B25) 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)

Cited In (5)

• Proceedings of the 13th 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
• Logic and games on automatic structures. Playing with quantifiers and decompositions
• Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29--31, 2013
• 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

This page was built for publication: Games, automata, logics, and formal verification (GandALF 2013)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897643)