Search for persons
X
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
2
On the complexity of Maslov's class K̅:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
5
Finite model theory of the triguarded fragment and related ..:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
6
On the Complexity of Graded Modal Logics with Converse:
, In:
?
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science ,
11
Unary negation fragment with equivalence relations has the ..:
, In:
?
42nd International Symposium on Mathematical Foundations of Computer Science / edited by Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin
12