Pages that link to "Item:Q4130959"
From MaRDI portal
The following pages link to The Theoretical Aspects of the Optimal Fixedpoint (Q4130959):
Displaying 16 items.
- Fixing Zeno gaps (Q549197) (← links)
- Iterative belief revision in extended logic programming (Q672058) (← links)
- Extremal solutions of inequations over lattices with applications to supervisory control (Q672379) (← links)
- Programming in three-valued logic (Q753474) (← links)
- Four valued semantics and the Liar (Q798313) (← links)
- Properties of data flow frameworks: A unified model (Q910237) (← links)
- On the fixpoints of nondeterministic recursive definitions (Q1059391) (← links)
- Optimal fixedpoints of logic programs (Q1069694) (← links)
- Partial models and logic programming (Q1094151) (← links)
- The convergence of functions to fixedpoints of recursive definitions (Q1254993) (← links)
- The fixed points of logic programs with Herbrand base \({\mathbb{N}}\) (Q2639644) (← links)
- (Q3662598) (← links)
- (Q3675498) (← links)
- On the existence of optimal fixpoints (Q3889105) (← links)
- Partiality and recursion in interactive theorem provers – an overview (Q5741556) (← links)
- Sets with structure, mappings and fixed point property: fixed point structures (Q6180625) (← links)
