Provenance Analysis for Logic and Games

Grädel, Erich (Corresponding author); Tannen, Val

Berkeley, CA / Mathematical Sciences Publ. (2020) [Fachzeitschriftenartikel]

Moscow journal of combinatorics and number theory
Band: 9
Ausgabe: 3
Seite(n): 203-228