Pages that link to "Item:Q1069694"
From MaRDI portal
The following pages link to Optimal fixedpoints of logic programs (Q1069694):
Displaying 13 items.
- Extremal solutions of inequations over lattices with applications to supervisory control (Q672379) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Programming in three-valued logic (Q753474) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Protected completions of first-order general logic programs (Q911800) (← links)
- Recursion equation sets computing logic programs (Q920624) (← links)
- Partial models and logic programming (Q1094151) (← links)
- Kernel-LEAF: A logic plus functional language (Q2638759) (← links)
- The fixed points of logic programs with Herbrand base \({\mathbb{N}}\) (Q2639644) (← links)
- (Q2767052) (← links)
- (Q3153396) (← links)
- (Q4353618) (← links)
- On the Floyd–Warshall algorithm for logic programs (Q4719377) (← links)
