Searching for "Deciding the E - class by an a posteriori, liftable order." – sorted by Relevance.
-
Deciding the E + -class by an a posteriori, liftable order
- Deciding the E + -class by an a posteriori, liftable order Hans de Nivelle February 13, 1998
- Cited by 2 (0 self) – Add To MetaCart
-
Using Resolution as Decision Procedure
- is whether a certain order can be used to decide the E + -class, when it is used a posteriori. We first
- Add To MetaCart

