COOL – A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (bibtex)

by Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann and Thorsten Wißmann

Reference:

Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann and Thorsten Wißmann: COOL – A Generic Reasoner for Coalgebraic Hybrid Logics (System Description), In Stéphane Demri, Deepak Kapur, Christoph Weidenbach, eds.: Proc. 7th Internat. Joint Conf. on Automated Reasoning, IJCAR 2014, Lect. Notes Comput. Sci., vol. 8562, pp. 396–402, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-08587-6_31.

Bibtex Entry:

@string{lncs="Lect. Notes Comput. Sci."}
@string{springer="Springer"}
@InProceedings{GorinEA14,
  author = 	 {Daniel Gor{\'\i}n and Dirk Pattinson and Lutz Schr{\"o}der and Florian Widmann and Thorsten Wi\ss{}mann},
  title = 	 {{COOL} -- A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)},
  booktitle =	 {Proc. 7th Internat.\ Joint Conf.\ on Automated Reasoning, IJCAR 2014},
  year =	 {2014},
  editor =	 {St\'{e}phane Demri and Deepak Kapur and Christoph Weidenbach},
  series =	 {LNCS},
  publisher =	 {Springer},
  pages     = {396--402},
  volume    = {8562},
  doi       = {10.1007/978-3-319-08587-6_31},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-08587-6_31">http://dx.doi.org/10.1007/978-3-319-08587-6_31</a>.},
  url = {http://www8.cs.fau.de/ext/papers/cool.pdf},
  }