Pages that link to "Item:Q3787447"
From MaRDI portal
The following pages link to Toward a declarative semantics for infinite objects in logic programming (Q3787447):
Displayed 4 items.
- Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
- Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
- Completions of perpetual logic programs (Q1193890) (← links)
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)