Expressiveness Issues and Decision Problems for Active Database Event Queries
ICDT '01 Proceedings of the 8th International Conference on Database Theory
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Expressive Completeness for LTL With Modulo Counting and Group Quantifiers
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 5.23 |