A Logic of Non-Monotone Inductive Definitions and its Modularity Properties (2004)

Cached

Download Links

by Marc Denecker , Eugenia Ternovska
Citations:29 - 20 self