The following pages link to (Q4205425):
Displaying 10 items.
- A declarative semantics of flat guarded Horn clauses for programs with perpetual processes (Q915481) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Extending Horn clause logic with implication goals (Q1186427) (← links)
- From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic (Q1194328) (← links)
- (Q3486859) (← links)
- Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses (Q3975139) (← links)
- (Q4812982) (← links)
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660) (← links)
- (Q5141619) (← links)
- Logic Based Program Synthesis and Transformation (Q5713940) (← links)
