Proposal of data structures for Presburger arithmetic and its application to circuit verification

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)1233-1236
Number of pages4
JournalInternational Symposium on Nonlinear Theory and Its Applications
Publication statusPublished - 1997

Cite this

@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 -