Search for persons
X
?
Lecture Notes in Computer Science; Logic and Argumentation ,
1
Solving Modal Logic Problems by Translation to Higher-Order..:
, In:
?
Proceedings of the 18th ACM international symposium on High performance distributed computing ,
14
Collaborative query coordination in community-driven data g..:
, In:
?
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology ,
15