Computing Characteristic Sets of Bounded Unions of Polynomial Ideals

Itsuo Takamatsu, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto. Computing Characteristic Sets of Bounded Unions of Polynomial Ideals. In Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura, editors, New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Volume 4914 of Lecture Notes in Computer Science, pages 318-329, Springer, 2007. [doi]

@inproceedings{TakamatsuKTY07,
  title = {Computing Characteristic Sets of Bounded Unions of Polynomial Ideals},
  author = {Itsuo Takamatsu and Masanori Kobayashi and Hiroo Tokunaga and Akihiro Yamamoto},
  year = {2007},
  doi = {10.1007/978-3-540-78197-4_30},
  url = {http://dx.doi.org/10.1007/978-3-540-78197-4_30},
  researchr = {https://researchr.org/publication/TakamatsuKTY07},
  cites = {0},
  citedby = {0},
  pages = {318-329},
  booktitle = {New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers},
  editor = {Ken Satoh and Akihiro Inokuchi and Katashi Nagao and Takahiro Kawamura},
  volume = {4914},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78196-7},
}