Pages that link to "Item:Q915476"

The following pages link to Finite failures and partial computations in concurrent logic languages (Q915476):

Displaying 3 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)