Searching for "Quantified propositional calculus and a second-order theory for NC1." – 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.

Quantified Propositional Calculus and a Second-Order Theory for NC¹
by Stephen Cook, Tsuyoshi Morioka — 2004
…Quantified Propositional Calculus and a Second-Order Theory for NC 1 Stephen Cook Tsuyoshi Morioka…
Add To MetaCart

Tsuyoshi Morioka Quantified Propositional Calculus and a Second-Order Theory for NC
by unknown authors
… Tsuyoshi Morioka Quantified Propositional Calculus and a Second-Order Theory for NC 1 Received: date…
Add To MetaCart

Showing 1 through 2.

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