The following pages link to Semi-conservative reduction (Q4120563):
Displayed 5 items.
- Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten (Q1241510) (← links)
- Existential interpretation. II (Q3955341) (← links)
- Prefix classes of krom formulae with identity (Q3956908) (← links)
- Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen (Q4182709) (← links)
- Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen (Q4186285) (← links)