MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Deciding the guarded fragments by resolution." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Deciding the guarded fragments by resolution
by Hans De Nivelle, Maarten De Rijke — 2003 — Journal of Symbolic Computation
…J. Symbolic Computation (2004) 11, 1–000 Deciding the Guarded Fragments by Resolution Hans de…
Cited by 2 (2 self) – Add To MetaCart

Using Resolution as Decision Procedure
by Jean Marie Guillaume Gérard de Nivelle — 2005
… introduce each of the five papers: 2.1 Deciding the Guarded Fragments by Resolution In this paper resolution…
Add To MetaCart

Nivelle. A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
by Yevgeny Kazakov, Hans De Nivelle — 2004 — Swedish Institute for Computer Science, PO
… resolution decides the guarded fragment in double exponential time. Proof. Given a formula F ∈GFof size n…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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