On downward closure ordinals of logic programs

1990

Fundamenta Informaticae , Volume 13 - Issue 1 p. 67- 83

Additional Metadata
MSC	None of the above, but in MSC2010 section 68Qxx (msc 68Q99), Ordinal and cardinal numbers (msc 03E10), Recursive ordinals and ordinal notations (msc 03F15), Graph theory (including graph drawing) (msc 68R10), Artificial intelligence (msc 68Txx)
Publisher	IOS Press
Journal	Fundamenta Informaticae
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Bagai, R., Bezem, M. A., & van Emden, M. H. (1990). On downward closure ordinals of logic programs. Fundamenta Informaticae, 13(1), 67–83.

Publication