| 本文言語 | English |
|---|---|
| ページ（範囲） | 1233-1236 |
| ページ数 | 4 |
| ジャーナル | International Symposium on Nonlinear Theory and Its Applications |
| 出版ステータス | Published - 1997 |
Proposal of data structures for Presburger arithmetic and its application to circuit verification
研究成果
研究成果
| 本文言語 | English |
|---|---|
| ページ（範囲） | 1233-1236 |
| ページ数 | 4 |
| ジャーナル | International Symposium on Nonlinear Theory and Its Applications |
| 出版ステータス | Published - 1997 |