Pages that link to "Item:Q4647537"
From MaRDI portal
The following pages link to On the practical value of different definitional translations to normal form (Q4647537):
Displaying 4 items.
- KoMeT (Q40434) (← links)
- On different structure-preserving translations to normal form (Q674761) (← links)
- Practically useful variants of definitional translations to normal form (Q1854384) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)