scientific article; zbMATH DE number 7544355
From MaRDI portal
Publication:5082016
DOI10.4204/EPTCS.346zbMath1489.68014MaRDI QIDQ5082016
No author found.
Publication date: 19 June 2022
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/content.cgi?GandALF2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Proceedings of conferences of miscellaneous specific interest (00B25) Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)