Pages that link to "Item:Q5096873"
From MaRDI portal
The following pages link to Algebraic methods in the compositional analysis of logic programs (Q5096873):
Displaying 8 items.
- Fully abstract compositional semantics for an algebra of logic programs (Q672703) (← links)
- Composing recursive logic programs with clausal join (Q1109585) (← links)
- Differential logic programs: Programming methodologies and semantics (Q1126260) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Algebraic composition of function tables (Q1586167) (← links)
- A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG (Q2493750) (← links)
- (Q3413363) (← links)
- (Q4437807) (← links)