Search for persons
X
?
Logic and Its Applications; Lecture Notes in Computer Science ,
2
Labelled Calculi for Lattice-Based Modal Logics:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
3
Non-distributive Description Logic:
, In:
?
Logic and Its Applications; Lecture Notes in Computer Science ,
4
Labelled Calculi for the Logics of Rough Concepts:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
5