Back to Search
Start Over
Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020).
- Source :
-
Information & Computation . Nov2022:Part A, Vol. 289, pN.PAG-N.PAG. 1p. - Publication Year :
- 2022
- Subjects :
- *CONFERENCES & conventions
*LOGIC
*GAMES
Subjects
Details
- Language :
- English
- ISSN :
- 08905401
- Volume :
- 289
- Database :
- Academic Search Index
- Journal :
- Information & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 160368833
- Full Text :
- https://doi.org/10.1016/j.ic.2022.104980