SIGACT news complexity theory comun 37
ACM SIGACT News
A Toolkit for First Order Extensions of Monadic Games
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Definable relations and first-order query languages over strings
Journal of the ACM (JACM)
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL)
On the expressive power of monadic least fixed point logic
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Fragments of Monadic Second-Order Logics Over Word Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Value joins are expensive over (probabilistic) XML
Proceedings of the 4th International Workshop on Logic in Databases
Partially ordered connectives and ∑11 on finite models
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Static analysis and optimization of semantic web queries
ACM Transactions on Database Systems (TODS) - Invited papers issue
Hi-index | 0.00 |