Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics (bibtex)
by Daniel Gorín, Lutz Schröder
Reference:
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics (Daniel Gorín, Lutz Schröder), In Proc. Advances in Modal Logic, AiML 2014 (Agi Kurucz, Rajeev Goré, eds.), LNCS, Springer, 2014. (To appear)
Bibtex Entry:
@InProceedings{GorinSchroder14,
  author = 	 {Daniel Gor{\'\i}n and Lutz Schr{\"o}der},
  title = 	 {Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics},
  booktitle =	 {Proc. Advances in Modal Logic, AiML 2014},
  year =	 {2014},
  editor =	 {Agi Kurucz and Rajeev Gor{\'e}},
  series =	 {LNCS},
  publisher =	 {Springer},
  note =	 {To appear},
}
Powered by bibtexbrowser