Pages that link to "Item:Q1181706"
From MaRDI portal
The following pages link to The Ackermann constant theorem: A computer-assisted investigation (Q1181706):
Displaying 5 items.
- Sentential constants in R and \(R^{\neg}\) (Q1092033) (← links)
- Sentential constants in systems near R (Q1313086) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT (Q5037519) (← links)
- Parallelizing the closure computation in automated deduction (Q6488520) (← links)