Pages that link to "Item:Q2878748"
From MaRDI portal
The following pages link to Decidability results for the boundedness problem (Q2878748):
Displaying 15 items.
- A more general theory of static approximations for conjunctive queries (Q778535) (← links)
- Decidability, partial decidability and sharpness relation for L-subsets (Q1102954) (← links)
- Lower bounds for some decision problems over \(C\) (Q1605321) (← links)
- On the complexity of decision using destinies in \(H\)-bounded structures (Q1885032) (← links)
- On undecidability bounds for matrix decision problems (Q2474220) (← links)
- A More General Theory of Static Approximations for Conjunctive Queries (Q3305350) (← links)
- Trading Bounds for Memory in Games with Counters (Q3449476) (← links)
- (Q4366289) (← links)
- (Q4411845) (← links)
- (Q5028474) (← links)
- (Q5091266) (← links)
- Some new decidability results on positive and negative set constraints (Q5096317) (← links)
- (Q5232911) (← links)
- Resolution of the uniform lower bound problem in constructive analysis (Q5448617) (← links)
- (Q6168448) (← links)