Pages that link to "Item:Q4264532"
From MaRDI portal
The following pages link to On Preservation Theorems for Two-Variable Logic (Q4264532):
Displaying 5 items.
- A generalization of the Łoś-Tarski preservation theorem (Q904143) (← links)
- Bounded model checking of infinite state systems (Q2369883) (← links)
- (Q4638077) (← links)
- On the Restraining Power of Guards (Q4948538) (← links)
- Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)