Some Considerations on Branching Areas of Time
Journal of Logic, Language and Information
Locally linear time temporal logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Under-specification and contextual variability of abstract prepositions: a case study
WSD '02 Proceedings of the ACL-02 workshop on Word sense disambiguation: recent successes and future directions - Volume 8
Logics and Bisimulation Games for Concurrency, Causality and Conflict
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Building Occurrence Nets from Reveals Relations
Fundamenta Informaticae
| Hi-index | 0.00 |