Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Tableau Method and NEXPTIME-completeness of DEL-sequents. In Proceedings of Methods for Modalities (M4M 2011), ENTCS, 2011.
Guillaume Aucher http://www.irisa.fr/distribcom
François Schwarzentruber http://www.irisa.fr/distribcom
@InProceedings{AucMauSch11,
Author = {Aucher, Guillaume and Maubert, Bastien and Schwarzentruber, François},
Title = {Tableau Method and {NEXPTIME}-completeness of {DEL}-sequents},
BookTitle = {Proceedings of Methods for Modalities (M4M 2011)},
Series = {ENTCS},
Year = {2011}
}
Get EndNote Reference (.ref)