Searching for "Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words" – 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.

Structure theorem and strict alternation hierarchy for FO 2 on words
by Philipp Weis, Neil Immerman — 2007 — PROC. 16TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE AND LOGIC (CSL'07), LAUSANNE (SWITZERLAND) (J. DUPARC ANDTH. HENZINGER, EDS.), LNCS 4646
…Structure Theorem and Strict Alternation Hierarchy for FO 2 on Words ∗ Philipp Weis Neil Immerman…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB