Works by NAAF, MATTHIAS

SEMIRING PROVENANCE FOR BÜCHI GAMES: STRATEGY ANALYSIS WITH ABSORPTIVE POLYNOMIALS.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 1, p. 1, doi. 10.46298/LMCS-20(1:21)2024

By:

• GRÄDEL, ERICH;
• LÜCKING, NIELS;
• NAAF, MATTHIAS

Publication type:

Article