Model Constructions for Moss' Coalgebraic Logic (bibtex)

by Jort Bergfeld, Yde Venema

Reference:

Model Constructions for Moss' Coalgebraic Logic (Jort Bergfeld, Yde Venema), In Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings (Andrea Corradini, Bartek Klin, Corina Cîrstea, eds.), Lecture Notes in Computer Science, vol. 6859, Springer, 2011.

Bibtex Entry:

@inproceedings{DBLP:conf/calco/BergfeldV11, author = {Jort Bergfeld and Yde Venema}, title = {Model Constructions for Moss' Coalgebraic Logic}, booktitle = {CALCO}, editor = {Andrea Corradini and Bartek Klin and Corina C\^{\i}rstea}, booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6859}, year = {2011}, isbn = {978-3-642-22943-5}, ee = {http://dx.doi.org/10.1007/978-3-642-22944-2}, bibsource = {DBLP, http://dblp.uni-trier.de} }

Powered by bibtexbrowser