Pages that link to "Item:Q6156871"
From MaRDI portal
The following pages link to Worst-case expansions of complete theories (Q6156871):
Displaying 4 items.
- Collapsing and separating completeness notions under average-case and worst-case hypotheses (Q693053) (← links)
- Undecidable first-order theories of affine geometries (Q2871479) (← links)
- The Theory of WSTS: The Case of Complete WSTS (Q2908196) (← links)
- Exact Worst Case TCAM Rule Expansion (Q5274420) (← links)