@inproceedings{DBLP:conf/ifipTCS/ColussiFG04,
author = {Livio Colussi and
Gilberto Fil{\'e} and
A. Griggio},
title = {Precise Analysis of p-Calculus in Cubic Time},
booktitle = {IFIP TCS},
year = {2004},
pages = {317-332},
crossref = {DBLP:conf/ifipTCS/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ifipTCS/2004,
editor = {Jean-Jacques L{\'e}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {Exploring New Frontiers of Theoretical Informatics, IFIP
18th World Computer Congress, TC1 3rd International Conference
on Theoretical Computer Science (TCS2004), 22-27 August
2004, Toulouse, France},
booktitle = {IFIP TCS},
publisher = {Kluwer},
year = {2004},
isbn = {1-4020-8140-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}