|
|||||
|
|
Propositional temporal logics: decidability and completeness |
|
| Authors: | Lichtenstein, O Pneuli, A |
| Affiliation: | A1 Department of Computer Science, Center for Technological Education Holon, 52 Golomb St, Holon, Israel E-mail: orna_barley.cteh.ac.il A2 Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, 76100 Israel E-mail: amir@wisdom.weizmann.ac.il |
| Abstract: | |
| Keywords: | completeness decision procedure deductive proof system past operators temporal logic |
| 本文献已被 Oxford 等数据库收录！ | |