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 9 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)
- Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses (Q3975139) (← links)
- (Q4205425) (← links)
- (Q4499206) (← links)