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

Cached

Download Links

by Marc Denecker , Eugenia Ternovska
Citations:30 - 21 self