Provenance analysis for logic and games
Grädel, Erich, Tannen, ValVolume:
9
Journal:
Moscow Journal of Combinatorics and Number Theory
DOI:
10.2140/moscow.2020.9.203
Date:
October, 2020
File:
PDF, 850 KB
2020