Implicates and reduction techniques for temporal logics
Annals of Mathematics and Artificial Intelligence
Implicates and Reduction Techniques for Temporal Logics
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Defining Fairness in Reactive and Concurrent Systems
Journal of the ACM (JACM)
Hi-index | 0.00 |