| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the international workshop on mathematics mechanization, Institute of Science Systems, Academia Science, Beijing, P.R. China, July 16-18, 1992 |
| Editors | Wu Wen Tsun, Cheng Min-DE |
| Publisher | International Academic Publishers |
| Pages | 28-37 |
| State | Published - 1992 |
Recent progress in characteristic set computation: Complexty & open problems
Bhubaneswar Mishra, Gloria Gallo
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution