|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
BaratellaBerardi4:MSJ (In proceedings) | |
Author(s) | S. Baratella and Stefano Berardi |
Title | « Constructivization via Approximations and Examples » |
In | MSJ Memoirs |
Page(s) | 177-206 |
Year | 1998 |
BibTeX code |
@inproceedings{BaratellaBerardi4:MSJ,
booktitle = {MSJ Memoirs},
title = {Constructivization via Approximations and Examples},
author = {S. Baratella and Stefano Berardi},
pages = {177-206},
year = {1998},
}
|
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)