Decision procedures for recursive data structures with integer constraints (2004)
Cached
Download Links
- [theory.stanford.edu]
- [theory.stanford.edu]
- [theory.stanford.edu]
- [theory.stanford.edu]
- DBLP
Other Repositories/Bibliography
by
Ting Zhang
,
Henny B. Sipma
,
Zohar Manna
| Venue: | In International Joint Conference on Automated Reasoning, volume 3097 of LNCS |
| Citations: | 16 - 7 self |
BibTeX
@INPROCEEDINGS{Zhang04decisionprocedures,
author = {Ting Zhang and Henny B. Sipma and Zohar Manna},
title = {Decision procedures for recursive data structures with integer constraints},
booktitle = {In International Joint Conference on Automated Reasoning, volume 3097 of LNCS},
year = {2004},
pages = {152--167},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
