[Outstanding Contributions to Logic] Ewa Orłowska on Relational Methods in Logic and Computer Science Volume 17 || Guttman Algebras and a Model Checking Procedure for Guttman Scales
Golińska-Pilarek, Joanna, Zawidzki, MichałVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-97879-6_14
File:
PDF, 268 KB
english, 2018