%0 Conference Paper %1 conf/cade/GorinPSWW14 %A Gorín, Daniel %A Pattinson, Dirk %A Schröder, Lutz %A Widmann, Florian %A Wißmann, Thorsten %B IJCAR %D 2014 %E Demri, Stéphane %E Kapur, Deepak %E Weidenbach, Christoph %I Springer %K dblp %P 396-402 %T Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). %U http://dblp.uni-trier.de/db/conf/cade/ijcar2014.html#GorinPSWW14 %V 8562 %@ 978-3-319-08586-9

@inproceedings{conf/cade/GorinPSWW14, added-at = {2021-07-25T00:00:00.000+0200}, author = {Gorín, Daniel and Pattinson, Dirk and Schröder, Lutz and Widmann, Florian and Wißmann, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/22686f7431ba2de3656e4db2514d33414/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2014}, editor = {Demri, Stéphane and Kapur, Deepak and Weidenbach, Christoph}, ee = {https://doi.org/10.1007/978-3-319-08587-6_31}, interhash = {387b1119520123c3d420f52d6633f0ed}, intrahash = {2686f7431ba2de3656e4db2514d33414}, isbn = {978-3-319-08586-9}, keywords = {dblp}, pages = {396-402}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:08:54.000+0200}, title = {Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description).}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2014.html#GorinPSWW14}, volume = 8562, year = 2014 }