The following pages link to (Q3975139):
Displayed 6 items.
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Semantic models for concurrent logic languages (Q1177921) (← links)
- From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic (Q1194328) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q1200981) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q5096197) (← links)