A practical decision procedure for Propositional Projection Temporal Logic with infinite models
- 1 October 2014
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 554, 169-190
- https://doi.org/10.1016/j.tcs.2014.02.011
Abstract
No abstract availableFunding Information
- National Program on Key Basic Research Project of China (2010CB328102)
- National Natural Science Foundation of China (61133001, 61202038, 61272117, 61272118, 61322202, 61373043)
This publication has 2 references indexed in Scilit:
- An Improved Decision Procedure for Propositional Projection Temporal LogicLecture Notes in Computer Science, 2010
- A decision procedure for propositional projection temporal logic with infinite modelsActa Informatica, 2007