Coalgebraic Predicate Logic (bibtex)

by Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano and Lutz Schröder

Reference:

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano and Lutz Schröder: Coalgebraic Predicate Logic, In Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer, eds.: Proc. 39th International Colloquium on Automata, Languages, and Programming, ICALP 2012, Lecture Notes in Computer Science, vol. 7392, pp. 299–311, Springer, 2012.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{LitakPSS12:icalp,
year={2012},
isbn={978-3-642-31584-8},
booktitle={Proc. 39th International Colloquium on Automata, Languages, and Programming, ICALP 2012},
volume={7392},
series={Lecture Notes in Computer Science},
editor={Czumaj, Artur and Mehlhorn, Kurt and Pitts, Andrew and Wattenhofer, Roger},
title={Coalgebraic Predicate Logic},
doi       = {10.1007/978-3-642-31585-5_29},
publisher={Springer},
nocomment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-31585-5_29">http://dx.doi.org/10.1007/978-3-642-31585-5_29</a>.},
author={Litak, Tadeusz and Pattinson, Dirk and Sano, Katsuhiko and Schr{\"o}der, Lutz},
pages={299--311},
url = {http://www8.informatik.uni-erlangen.de/~schroeder/papers/coalfol.pdf},
}