|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
paolini16ictcs (Article) | |
Author(s) | Luca Paolini, Mauro Piccolo and Luca Roversi |
Title | « A Class of Reversible Primitive Recursive Functions » |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 322 |
Page(s) | 227--242 |
Year | 2016 |
Note | Elsevier, Netherlands |
Download the complete article:
BibTeX code |
@article{paolini16ictcs,
volume = 322,
author = {Paolini, Luca and Piccolo,Mauro and Roversi, Luca},
note = {Elsevier, Netherlands},
title = {A Class of Reversible Primitive Recursive Functions},
localfile = {http://www.di.unito.it/~paolini/papers/2015reversiblePrimitiveRecursive.pdf},
tag = {Electronic Notes in Theoretical Computer Science},
journal = {Electronic Notes in Theoretical Computer Science},
year = 2016,
pages = {227--242},
}
|
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)