Games, automata, logics and formal verification (GandALF 2016) Preface

被引：0

作者：

Cantone, Domenico ^{[1
]}

Delzanno, Giorgio ^{[2
]}

机构：

[1] Univ Catania, Dipartimento Matemat & Informat, Catania, Italy

[2] Univ Genoa, Dipartimento Informat Bioingn Robot & Ingn Sistem, Genoa, Italy

来源：

INFORMATION AND COMPUTATION | 2018年 / 262卷

关键词：

D O I：

10.1016/j.ic.2018.09.003

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：187 / 188

页数：2

共 50 条

[1] Games, Automata, Logics, and Formal Verification (GandALF 2013) Preface
Montanari, Angelo
Puppis, Gabriele
Villa, Tiziano
INFORMATION AND COMPUTATION, 2015, 245 : 1 - 2
[2] Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface
Peron, Adriano
Piazza, Carla
INFORMATION AND COMPUTATION, 2017, 253 : 179 - 180
[3] Games, Automata, Logic, and Formal Verification (GandALF 2011) Preface
D'Agostino, Giovanna
La Torre, Salvatore
THEORETICAL COMPUTER SCIENCE, 2013, 493 : 1 - 1
[4] SPECIAL ISSUE GAMES, AUTOMATA, LOGIC, AND FORMAL VERIFICATION (GandALF 2010) PREFACE
Montanari, Angelo
Napoli, Margherita
Parente, Mimmo
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2012, 23 (03) : 555 - 557
[5] Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020)
Raskin, Jean-Francois
Bresolin, Davide
INFORMATION AND COMPUTATION, 2022, 289
[6] Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification Roma, Italy, 20-22 September 2017 Preface
Bouyer, Patricia
Orlandini, Andrea
San Pietro, Pierluigi
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (256):
[7] Multi-valued logics, automata, simulations, and games
Kupferman, Orna
Lustig, Yoad
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 5 - 5
[8] Algorithms, automata, complexity and games -: Preface
Néraud, J
THEORETICAL COMPUTER SCIENCE, 1999, 218 (01) : 1 - 1
[9] Algorithms, automata, complexity and games - Preface
Eiben, AE
Rudolph, G
THEORETICAL COMPUTER SCIENCE, 1999, 229 (1-2) : 1 - 2
[10] ALGORITHMS, AUTOMATA, COMPLEXITY AND GAMES - PREFACE
AUSIELLO, G
DEZANICIANCAGLINI, M
DELLAROCCA, SR
THEORETICAL COMPUTER SCIENCE, 1991, 84 (01) : 1 - 1

← 1 2 3 4 5 →