Pages that link to "Item:Q1900312"

The following pages link to Observable behaviors and equivalences of logic programs (Q1900312):

Displaying 10 items.

• Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
• S-semantics for logic programming: a retrospective look (Q1035702) (← links)
• Abstract interpretation of resolution-based semantics (Q1035705) (← links)
• The reduced relative power operation on abstract domains (Q1285656) (← links)
• A compositional semantics for logic programs (Q1314414) (← 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)
• Pair-independence and freeness analysis through linear refinement. (Q1873754) (← links)
• Deciding the Bisimilarity Relation between Datalog Goals (Q2915060) (← links)
• Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)