MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Decision Algorithm for Full Propositional Temporal Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

A Decision Algorithm for Full Propositional Temporal Logic
by Y. Kesten, Zohar Manna, Z. Manna, Amir Pnueli, H. Mcguire, A. Pnueli — 1993
…A Decision Algorithm for Full Propositional Temporal Logic ? Y. Kesten ?? , Z. Manna ??? , H…
Cited by 39 (8 self) – Add To MetaCart

A Decision Algorithm for Full Propositional Temporal Logic
by Kesten Manna Mcguire, Y. Kesten, Z. Manna, H. Mcguire, A. Pnueli — 1993
…A Decision Algorithm for Full Propositional Temporal Logic ? Y. Kesten ?? , Z. Manna ??? , H…
Add To MetaCart

Cv
by Hugh W. McGuire
… International Conference --- Proceedings) , Springer-Verlag, 1994. "A Decision Algorithm for Full Propositional…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB