@inproceedings{DBLP:conf/aiml/Governatori08,
author = {Guido Governatori},
title = {Labelled modal tableaux},
booktitle = {Advances in Modal Logic},
year = {2008},
pages = {87-110},
ee = {http://www.aiml.net/volumes/volume7/Governatori.pdf},
crossref = {DBLP:conf/aiml/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aiml/2008,
editor = {Carlos Areces and
Robert Goldblatt},
title = {Advances in Modal Logic 7, papers from the seventh conference
on "Advances in Modal Logic," held in Nancy, France, 9-12
September 2008},
booktitle = {Advances in Modal Logic},
publisher = {College Publications},
year = {2008},
isbn = {978-1-904987-68-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2007-01-25 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
