2012arXiv1212.4483R (Article)
|
Author(s) | Luca Roversi |
Title | « Extending a system in the calculus of structures with a self-dual quantifier » |
Journal | ArXiv e-prints |
Year | 2012 |
Keywords |
Keywords: Computer Science - Logic in Computer Science
|
@article{2012arXiv1212.4483R,
archiveprefix = {arXiv},
adsnote = {Provided by the SAO/NASA Astrophysics Data System},
month = dec,
author = {{Roversi}, {Luca}},
keywords = {Computer Science - Logic in Computer Science},
primaryclass = {cs.LO},
title = {{Extending a system in the calculus of structures with a self-dual
quantifier}},
adsurl = {http://adsabs.harvard.edu/abs/2012arXiv1212.4483R},
eprint = {1212.4483},
journal = {ArXiv e-prints},
year = 2012,
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)