Pages that link to "Item:Q5783650"
From MaRDI portal
The following pages link to On the reduction of the decision problem (Q5783650):
Displayed 4 items.
- Sur les formes normales (Q2651856) (← links)
- Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen (Q4401927) (← links)
- Contributions to the reduction theory of the decision problem (Q5806807) (← links)
- Contributions to the reduction theory of the decision problem (Q5808413) (← links)