The following pages link to (Q4249898):
Displaying 5 items.
- Some techniques for proving termination of the hyperresolution calculus (Q861692) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- Deciding the \(E^+\)-class by an a posteriori, liftable order (Q1577484) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
