Hybrid Tableaux for the Difference Modality. Kaminski, M. & Smolka, G. Electr. Notes Theor. Comput. Sci., 231:241-257, 2009.
Hybrid Tableaux for the Difference Modality. [link]Link  Hybrid Tableaux for the Difference Modality. [link]Paper  bibtex   
@article{journals/entcs/KaminskiS09,
  added-at = {2009-04-19T00:00:00.000+0200},
  author = {Kaminski, Mark and Smolka, Gert},
  biburl = {http://www.bibsonomy.org/bibtex/2c89898e33d5b1d688bf19596132c208f/dblp},
  date = {2009-04-19},
  description = {dblp},
  ee = {http://dx.doi.org/10.1016/j.entcs.2009.02.039},
  interhash = {e40c1b64d4657c4ba3ab106d0b8d955f},
  intrahash = {c89898e33d5b1d688bf19596132c208f},
  journal = {Electr. Notes Theor. Comput. Sci.},
  keywords = {dblp},
  pages = {241-257},
  timestamp = {2009-04-22T11:33:08.000+0200},
  title = {Hybrid Tableaux for the Difference Modality.},
  url = {http://dblp.uni-trier.de/db/journals/entcs/entcs231.html#KaminskiS09},
  volume = 231,
  year = 2009
}

Downloads: 0