A logic of non-monotone inductive definitions (2007)

by Marc Denecker , Eugenia Ternovska
Venue:ACM transactions on computational logic
Citations:28 - 16 self

Document Versions

A logic of non-monotone inductive definitions –Marc Denecker, Eugenia Ternovska — 2007 — ACM transactions on computational logic