Example of inductive sets that are neither least nor greatest fixed point
-
04-11-2019 - |
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