A Two-Variable Fragment of English
Journal of Logic, Language and Information
ACM Transactions on Computational Logic (TOCL)
Beth Definability for the Guarded Fragment
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Games and Model Checking for Guarded Logics
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Inflationary Fixed Points in Modal Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Modal Logic and the Two-Variable Fragment
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Reasoning in expressive description logics
Handbook of automated reasoning
Inflationary fixed points in modal logic
ACM Transactions on Computational Logic (TOCL)
Journal of Logic, Language and Information
Complexity of the Two-Variable Fragment with Counting Quantifiers
Journal of Logic, Language and Information
Two-variable logic on data trees and XML reasoning
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Static analysis of XML processing with data values
ACM SIGMOD Record
Two-variable logic on data trees and XML reasoning
Journal of the ACM (JACM)
Data-complexity of the two-variable fragment with counting quantifiers
Information and Computation
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Eliminating recursion in the µ-calculus
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
On the logic of argumentation theory
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Two-variable logic with two order relations
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
An Event-Based Fragment of First-Order Logic over Intervals
Journal of Logic, Language and Information
On the complexity of model expansion
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Two-variable logic and key constraints on data words
Proceedings of the 14th International Conference on Database Theory
Two-variable logic on data words
ACM Transactions on Computational Logic (TOCL)
Fixed-point definability and polynomial time on chordal graphs and line graphs
Fields of logic and computation
The expressive power of two-variable least fixed-point logics
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Results on the guarded fragment with equivalence or transitive relations
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
On the complexity of hybrid logics with binders
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Feasible automata for two-variable logic with successor on data words
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Two-Variable First-Order Logic with Equivalence Closure
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Hi-index | 5.23 |