@inproceedings{DBLP:conf/fsttcs/DaxHL06,
author = {Christian Dax and
Martin Hofmann and
Martin Lange},
title = {A Proof System for the Linear Time \^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}},
booktitle = {FSTTCS},
year = {2006},
pages = {273-284},
ee = {http://dx.doi.org/10.1007/11944836_26},
crossref = {DBLP:conf/fsttcs/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fsttcs/2006,
editor = {S. Arun-Kumar and
Naveen Garg},
title = {FSTTCS 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata,
India, December 13-15, 2006, Proceedings},
booktitle = {FSTTCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4337},
year = {2006},
isbn = {3-540-49994-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-09-23 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
