Skip to content

Decidability of Modal Logics of Non-k-Colorable Graphs.

Ilya Shapirovsky

VenueCWoLLIC
Year2023
ProceedingsWoLLIC

Browse the full WoLLIC paper archive.