An overview of temporal and modal logic programming-Reference-Cited by-同舟云学术

An overview of temporal and modal logic programming

Published: Issue: Volume: Page:445-479
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Orgun Mehmet A.,Ma Wanli

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0014004

Reference105 articles.

1. M. Abadi. The power of temporal proofs. Theoretical Computer Science, 65(1989):35–83, 1989.

2. M. Abadi and Z. Manna. Nonclausal temporal deduction. In R. Parikh, editor, Proc. of Conference on Logics of Programs, volume 193 of LNCS, pages 1–15. Springer-Verlag, 1985.

3. M. Abadi and Z. Manna. Temporal logic programming. In Proceedings of the 1987 Symposium on Logic Programming, pages 4–16, San Fransisco, Calif, 1987. IEEE Computer Society Press.

4. M. Abadi and Z. Manna. Temporal logic programming. Journal of Symbolic Computation, 8:277–295, 1989.

5. Hassan Ait-Kaci. The WAM: A (Real) Tutorial. Paris Research Laboratory, Digital Equipment Corporation, Paris, France, 1990.

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification of ZigBee-Based Routing Protocol for Smart Grids;Research Anthology on Smart Grid and Microgrid Development;2022

2. Semantics of temporal constrained objects;Journal of Logical and Algebraic Methods in Programming;2021-02

3. Formal Verification of ZigBee-Based Routing Protocol for Smart Grids;Encyclopedia of Information Science and Technology, Fifth Edition;2021

4. Automatic Scheduling for Earth Observation Satellite With Temporal Specifications;IEEE Transactions on Aerospace and Electronic Systems;2020-08

5. Formal verification of robotic cell injection systems;Control Systems Design of Bio-Robotics and Bio-mechatronics with Advanced Applications;2020