Jump to : Contact | BibTex reference | EndNote reference |


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

BibTex Reference

   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}

EndNote Reference [help]

Get EndNote Reference (.ref)