The following pages link to (Q3212265):
Displaying 6 items.
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
- Institutions for logic programming (Q1391732) (← links)
- On the structural simplicity of machines and languages (Q1924785) (← links)
- (Q5020984) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
