Short Presentation: Modularity Theorems for Non-Monotone Induction (at LICS 2003)
Authors: Marc Denecker Eugenia Ternovska
Abstract
No Abstract Available
BibTeX
@InProceedings{DeneckerTernovska-ModularityTheoremsf, author = {Marc Denecker and Eugenia Ternovska}, title = {Modularity Theorems for Non-Monotone Induction}, booktitle = {Proceedings of the Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003)}, year = {2003}, month = {June}, location = {Ottawa, Canada}, note = {Short Presentation}, publisher = {IEEE Computer Society Press} }