|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Vercelli:2010PhD (PhD thesis) | |
| Author(s) | Luca Vercelli |
| Title | « On the Complexity of Stratified Logics » |
| School | Scuola di Dottorato in Scienze e Alta Tecnologia |
| Year | 2010 |
| Address | Università degli Studi di Torino -- Italy |
| URL | http://arxiv.org/abs/1002.3453 |
| Note | Published in [Ver10] |
| BibTeX code |
@phdthesis{Vercelli:2010PhD,
month = {February},
author = {Vercelli, Luca},
note = {Published in \cite{Vercelli:2010PhD-vdm}},
url = {http://arxiv.org/abs/1002.3453},
title = {On the Complexity of Stratified Logics},
school = {{Scuola di Dottorato in Scienze e Alta Tecnologia}},
address = {{Universit\`a degli Studi di Torino -- Italy}},
year = {2010},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)