Searching for "A Logic of Non-monotone Inductive Definitions and Its Modularity Properties." – sorted by Relevance.
-
A Logic of Non-Monotone Inductive Definitions and its Modularity Properties
- A Logic of Non-Monotone Inductive Denitions and its Modularity Properties Marc Denecker 1
- Cited by 27 (18 self) – Add To MetaCart

