COOL -- A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (bibtex)
by Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann
Reference:
COOL -- A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann), In Proc. 7th Internat. Joint Conf. on Automated Reasoning, IJCAR 2014 (Stéphane Demri, Deepak Kapur, Christoph Weidenbach, eds.), Lect. Notes Comput. Sci., vol. 8562, pp. 396–402, Springer, 2014.
Bibtex Entry:
@string{lncs="Lect. Notes Comput. Sci."}
@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},
  url = {http://www8.cs.fau.de/_media/research:papers:cool.pdf},
  }
Powered by bibtexbrowser