Searching for "An O(n log n)-Space Decision Procedure for Intuitionistic Propositional 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.

Duplication-Free Tableau Calculi Together With Cut-Free and Contraction-Free Sequent Calculi for the Interpolable . . .
by A. Avellone, A Degli, Studi Di Milano, Rapporto Interno N — 1997
… of [Dyckho, 1992]) gives rise to an O(n log n)-space decision procedure for Intuitionistic Propositional…
Cited by 7 (1 self) – Add To MetaCart

Showing 1 through 1.

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