Logic

Research Frontiers in Nonmonotone Inductive Definitions

Theory of inductive and coinductive definitions with non-monotone operators for reasoning about recursive structures.

All Logic PhD categories