Pages that link to "Item:Q915476"
From MaRDI portal
The following pages link to Finite failures and partial computations in concurrent logic languages (Q915476):
Displaying 4 items.
- Bottom-up abstract interpretation of logic programs (Q1318725) (← links)
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Finite failure is and-compositional (Q4381868) (← links)