Auc11d

Guillaume Aucher. DEL-Sequents for progression. Journal of Applied Non-Classical Logics, 2011.

Note on this paper

to appear

Contact

Guillaume Aucher http://www.irisa.fr/distribcom

BibTex Reference

@article{Auc11d,
   Author = {Aucher, Guillaume},
   Title = {{DEL}-Sequents for progression},
   Journal = {Journal of Applied Non-Classical Logics},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)