?
Twenty Years of Theoretical and Practical Synergies; Lecture Notes in Computer Science ,
1
The Decision Problem for Undirected Graphs with Reachabilit..:
, In:
?
Logic and Its Applications; Lecture Notes in Computer Science ,
3
Labelled Calculi for the Logics of Rough Concepts:
, In:
?
Logic and Its Applications; Lecture Notes in Computer Science ,
4
Labelled Calculi for Lattice-Based Modal Logics:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
5
Non-distributive Description Logic:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
6