scientific article; zbMATH DE number 7080504

From MaRDI portal

Revision as of 08:58, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4968447

Jump to:navigation, search

DOI10.4204/EPTCS.119zbMath1415.68045arXiv1307.4162MaRDI QIDQ4968447

No author found.

Publication date: 12 July 2019

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

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

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)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ On Strongly First-Order Dependencies

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4968447&oldid=19405038"