Pages that link to "Item:Q5731786"
From MaRDI portal
The following pages link to Impossibility of an algorithm for the decision problem in finite classes (Q5731786):
Displaying 7 items.
- On the almighty wand (Q418137) (← links)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
- Nonconvergence, undecidability, and intractability in asymptotic problems (Q1095135) (← links)
- The decision problem for database dependencies (Q1162832) (← links)
- Succinct definitions in the first order theory of graphs (Q2368907) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Computational complexity of theories of a binary predicate with a small number of variables (Q2696689) (← links)
