DBLP Record 'conf/aiml/GasquetHS06'

BibTeX

@inproceedings{DBLP:conf/aiml/GasquetHS06,
  author    = {Olivier Gasquet and
               Andreas Herzig and
               Mohamad Sahade},
  title     = {Terminating modal tableaux with simple completeness proof},
  booktitle = {Advances in Modal Logic},
  year      = {2006},
  pages     = {167-186},
  ee        = {http://www.aiml.net/volumes/volume6/Gasquet-Herzig-Sahade.ps},
  crossref  = {DBLP:conf/aiml/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiml/2006,
  editor    = {Guido Governatori and
               Ian M. Hodkinson and
               Yde Venema},
  title     = {Advances in Modal Logic 6, papers from the sixth conference
               on "Advances in Modal Logic," held in Noosa, Queensland,
               Australia, on 25-28 September 2006},
  booktitle = {Advances in Modal Logic},
  publisher = {College Publications},
  year      = {2006},
  isbn      = {1-904987-20-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}