Recent progress in characteristic set computation: Complexty & open problems

Bhubaneswar Mishra, Gloria Gallo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the international workshop on mathematics mechanization, Institute of Science Systems, Academia Science, Beijing, P.R. China, July 16-18, 1992
EditorsWu Wen Tsun, Cheng Min-DE
PublisherInternational Academic Publishers
StatePublished - 1992

Cite this