Pages that link to "Item:Q4401927"
From MaRDI portal
The following pages link to Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen (Q4401927):
Displayed 5 items.
- The reachability problem for Petri nets and decision problems for Skolem arithmetic (Q1148890) (← links)
- The equivalence of Horn and network complexity for Boolean functions (Q1160604) (← links)
- Prefix classes of krom formulae with identity (Q3956908) (← links)
- Diem-Grade Logischer Entscheidungsprobleme (Q4135479) (← links)
- Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen (Q4186285) (← links)