@inproceedings{DBLP:conf/csl/CirsteaKP09,
author = {Corina C\^{\i}rstea and
Clemens Kupke and
Dirk Pattinson},
title = {EXPTIME Tableaux for the Coalgebraic {\it \^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}},
booktitle = {CSL},
year = {2009},
pages = {179-193},
ee = {http://dx.doi.org/10.1007/978-3-642-04027-6_15},
crossref = {DBLP:conf/csl/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/csl/2009,
editor = {Erich Gr{\"a}del and
Reinhard Kahle},
title = {Computer Science Logic, 23rd international Workshop, CSL
2009, 18th Annual Conference of the EACSL, Coimbra, Portugal,
September 7-11, 2009. Proceedings},
booktitle = {CSL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5771},
year = {2009},
isbn = {978-3-642-04026-9},
ee = {http://doi.dx.org/10.1007/978-3-642-04027-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-10-27 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
