Consistency Preservation and Crazy Formulas in BMS (bibtex)
by Guillaume Aucher
Reference:
Consistency Preservation and Crazy Formulas in BMS (Guillaume Aucher), In Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings (Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds.), Springer, volume 5293, 2008.
Bibtex Entry:
@InProceedings{Aucher2008b,
  Title                    = {Consistency Preservation and Crazy Formulas in {BMS}},
  Author                   = {Guillaume Aucher},
  Booktitle                = {Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
  Year                     = {2008},
  Editor                   = {Steffen H{\"o}lldobler and Carsten Lutz and Heinrich Wansing},
  Pages                    = {21-33},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {5293},

  Affiliation              = {icr},
  ISBN                     = {978-3-540-87802-5},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser