| Original language | English |
|---|---|
| Pages (from-to) | 1233-1236 |
| Number of pages | 4 |
| Journal | International Symposium on Nonlinear Theory and Its Applications |
| Publication status | Published - 1997 |
Cite this
Proposal of data structures for Presburger arithmetic and its application to circuit verification. / Funabiki, Nobuo.
In: International Symposium on Nonlinear Theory and Its Applications, 1997, p. 1233-1236.Research output: Contribution to journal › Article
@article{493cf8340b2a46e4aea517bc6360b484,
title = "Proposal of data structures for Presburger arithmetic and its application to circuit verification",
author = "Nobuo Funabiki",
year = "1997",
language = "English",
pages = "1233--1236",
journal = "International Symposium on Nonlinear Theory and Its Applications",
}
TY - JOUR
T1 - Proposal of data structures for Presburger arithmetic and its application to circuit verification
AU - Funabiki, Nobuo
PY - 1997
Y1 - 1997
M3 - Article
SP - 1233
EP - 1236
JO - International Symposium on Nonlinear Theory and Its Applications
JF - International Symposium on Nonlinear Theory and Its Applications
ER -