Pages that link to "Item:Q674761"
From MaRDI portal
The following pages link to On different structure-preserving translations to normal form (Q674761):
Displayed 6 items.
- A solver for QBFs in negation normal form (Q1020501) (← links)
- An answer to an open problem of Urquhart (Q1129262) (← links)
- Practically useful variants of definitional translations to normal form (Q1854384) (← links)
- Non-elementary speed-ups in proof length by different variants of classical analytic calculi (Q4610324) (← links)
- On the practical value of different definitional translations to normal form (Q4647537) (← links)
- Some pitfalls of LK-to-LJ translations and how to avoid them (Q5234695) (← links)