Searching for "Flat Fragments of CTL and CTL* Separating the Expressive and Distinguishing Powers." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing Powers
by Dennis R. Dams, Distinguishing Powers
…Flat Fragments of CTL and CTL : Separating the Expressive and Distinguishing Powers DENNIS R…
Cited by 10 (0 self) – Add To MetaCart

Logic Journal
by Of The Editor-In-Chief, Dov M. Gabbay, Ruy De Queiroz, Hans J Urgen Ohlbach, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Saharon Shelah, Johan Van Benthem
…. Blackburn and M. Tzakova 55 Flat Fragments of CTL and CTL : Separating the Expressive and Distinguishing…
Add To MetaCart

Showing 1 through 2.

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