Pages that link to "Item:Q1326573"
From MaRDI portal
The following pages link to Bounded quantifications for iteration and concurrency in logic programming (Q1326573):
Displaying 8 items.
- Bounded nondeterminism of logic programs (Q702093) (← links)
- Bounded-wait merge in Shapiro's concurrent Prolog (Q1079007) (← links)
- The expressive power of the bounded-iteration construct (Q1186517) (← links)
- (Q4264062) (← links)
- On the convergence of query-bounded computations and logical closure properties of c.e. sets (Q4328820) (← links)
- Representing any-time and program-iteration by infinitary conjunction (Q4583319) (← links)
- (Q4598248) (← links)
- (Q5688918) (← links)