TY -
GEN
AU - Dalmonte, Tiziano
AU - Mazzullo, Andrea
TI -
Lecture Notes in Computer Science: CoNP Complexity for Combinations of Non-normal Modal Logics
PB - Springer Nature Switzerland
SN - 0302-9743
SN - 1611-3349
PY - 2023
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -