Pages that link to "Item:Q1190477"
From MaRDI portal
The following pages link to Complete extension of general logic programs (Q1190477):
Displaying 7 items.
- Program generic set: Semantics of medium logic program described by forcing (Q674717) (← links)
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Protected completions of first-order general logic programs (Q911800) (← links)
- (Q4211444) (← links)
- (Q4244295) (← links)
- Négation constructive et axiomatique interne (Q4385672) (← links)
- (Q4492860) (← links)