|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Vercelli:2010PhD-vdm (Book) | |
| Author(s) | Luca Vercelli |
| Title | « On the Complexity of Stratified Logics -- Relationship between stratified light logics and algebras of functions used to characterize polynomial time computable functions » |
| Publisher | VDM Verlag |
| Year | 2010 |
| Address | Saarbrücken (Germany) |
| ISBN number | 978-3-639-24436-6 |
| URL | http://www.amazon.com/complexity-stratified-logics-Relationship-characterize/dp/3639244362/ |
| Note | PhD thesis |
| BibTeX code |
@book{Vercelli:2010PhD-vdm,
author = {Vercelli, Luca},
note = {PhD thesis},
url = {http://www.amazon.com/complexity-stratified-logics-Relationship-characterize/dp/3639244362/},
title = {On the Complexity of Stratified Logics -- Relationship between
stratified light logics and algebras of functions used to
characterize polynomial time computable functions},
address = {Saarbr\"ucken (Germany)},
isbn = {978-3-639-24436-6},
publisher = {VDM Verlag},
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)