The following pages link to (Q3769956):
Displaying 5 items.
- Non-Horn clause logic programming without contrapositives (Q1116717) (← links)
- Weak second order characterizations of various program verification systems (Q1124311) (← links)
- The role of standardising apart in logic programming (Q1329744) (← links)
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)
- (Q4204136) (← links)