ACM Transactions on Computational Logic (TOCL)
Modal Logic and the Two-Variable Fragment
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
First-order logic with two variables and unary temporal logic
Information and Computation - Special issue: LICS'97
On the complexity of the Bernays-Schönfinkel class with datalog
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Two-variable logic on data words
ACM Transactions on Computational Logic (TOCL)
The unary fragments of metric interval temporal logic: bounded versus lower bound constraints
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Hi-index | 0.00 |