?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
3
"Most of" leads to undecidability: Failure of adding freque..:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
4
"Most of" leads to undecidability: Failure of adding freque..:
, In:
?
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems ,
8
Verifying Multi-Agent Systems by Model Checking Three-value..:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
11
Two-Variable First-Order Logic with Equivalence Closure:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
12