Pages that link to "Item:Q1194328"
From MaRDI portal
The following pages link to From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic (Q1194328):
Displaying 6 items.
- Finite failures and partial computations in concurrent logic languages (Q915476) (← links)
- Semantic models for concurrent logic languages (Q1177921) (← links)
- Four domains for concurrency (Q1179700) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
