Q5874219 (Q5874219): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.4230/LIPIcs.CSL.2020.32 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.4230/LIPICS.CSL.2020.32 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 17:43, 30 December 2024

scientific article; zbMATH DE number 7650845
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7650845

    Statements

    0 references
    7 February 2023
    0 references
    parity games
    0 references
    quasi-polynomial time
    0 references
    separating automata
    0 references
    good-for-games automata
    0 references

    Identifiers