Pages that link to "Item:Q1853617"

The following pages link to An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617):

Displaying 2 items.

• S-semantics for logic programming: a retrospective look (Q1035702) (← links)
• On the verification of finite failure (Q2575838) (← links)