Searching for "Counting on CTL* on the expressive power of monadic path logic." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Counting on CTL*: On the Expressive Power of Monadic Path Logic
by Faron Moller, Alexander Rabinovich — 2003
… ∗ : on the expressive power of monadic path logic Abstract Faron Moller a,∗ and Alexander Rabinovich b a Department…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 1.

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