Barbanera-Berardi-Schivalocchi:TACS-97 (In proceedings)
|
Author(s) | Franco Barbanera, Stefano Berardi and M. Schivalocchi |
Title | « ``Classical'' programming-with-proofs in :an analysis of non-confluence » |
In | Proceedings of TACS'97 |
Series | Lecture Notes in Computer Science |
Volume | 1281 |
Year | 1997 |
Publisher | Springer-Verlag |
@inproceedings{Barbanera-Berardi-Schivalocchi:TACS-97,
booktitle = {Proceedings of TACS'97},
volume = {1281},
title = {``Classical'' programming-with-proofs in $\lambda^{Sym}_{PA}$:an
analysis of non-confluence},
author = {Franco Barbanera and Stefano Berardi and M. Schivalocchi},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
year = {1997},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
