Question

Do there exist a set of inductive rules and a fixed point of these rules but is neither the least nor the greatest fixed points?

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top