scientific article; zbMATH DE number 7191370

DOI10.4204/EPTCS.277zbMath1436.68032arXiv1809.02416MaRDI QIDQ4961123

No author found.

Publication date: 21 April 2020

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.02416

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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)

This page was built for publication: