Search for persons
X
?
2020 15th Conference on Computer Science and Information Systems (FedCSIS) ,
2
Computing Duals of Finite Gödel Algebras:
, In:
?
Lecture Notes in Computer Science; Language, Logic, and Computation ,
3
Spectra of Gödel Algebras:
, In:
?
Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science ,
6
Counting Finite Linearly Ordered Involutive Bisemilattices:
, In:
?
2015 IEEE International Symposium on Multiple-Valued Logic ,
8