Pages that link to "Item:Q1177921"

The following pages link to Semantic models for concurrent logic languages (Q1177921):

Displaying 3 items.

• Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic (Q1194328) (← links)
• A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)