Past--future separation and normal forms in temporal predicate logic specifications
Journal of Algorithms
A general proof method for first-order modal logic
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |