BibTeX
@inproceedings{DBLP:conf/wia/BoigelotL01,
author = {Bernard Boigelot and
Louis Latour},
title = {Counting the Solutions of Presburger Equations without Enumerating
Them},
booktitle = {CIAA},
year = {2001},
pages = {40-51},
ee = {http://link.springer.de/link/service/series/0558/bibs/2494/24940040.htm},
crossref = {DBLP:conf/wia/2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/wia/2001,
editor = {Bruce W. Watson and
Derick Wood},
title = {Implementation and Application of Automata, 6th International
Conference, CIAA 2001, Pretoria, South Africa, July 23-25,
2001, Revised Papers},
booktitle = {CIAA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2494},
year = {2002},
isbn = {3-540-00400-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-12-27 by Michael Ley (ley@uni-trier.de)