BibTeX
@inproceedings{DBLP:conf/jelia/BresolinMSS08,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Optimal Tableaux for Right Propositional Neighborhood Logic
over Linear Orders},
booktitle = {JELIA},
year = {2008},
pages = {62-75},
ee = {http://dx.doi.org/10.1007/978-3-540-87803-2_7},
crossref = {DBLP:conf/jelia/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/jelia/2008,
editor = {Steffen H{\"o}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Logics in Artificial Intelligence, 11th European Conference,
JELIA 2008, Dresden, Germany, September 28 - October 1,
2008. Proceedings},
booktitle = {JELIA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5293},
year = {2008},
isbn = {978-3-540-87802-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-10-01 by Michael Ley (ley@uni-trier.de)