The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
Tytuł:
The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
Konferencja:
IEEE Symposium on Logic in Computer Science [LICS]
Rok:
2025
Numer DOI:
10.1109/LICS65433.2025.00037