Pages that link to "Item:Q4542241"
From MaRDI portal
The following pages link to On Greatest Fixpoint Semantics of Logic Programming (Q4542241):
Displaying 5 items.
- Transfinite semantics in the form of greatest fixpoint (Q843215) (← links)
- Fixpoint semantics for logic programming a survey (Q1605173) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- (Q3153396) (← links)
- An effective fixpoint semantics for linear logic programs (Q4452612) (← links)