|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Kfoury-Ronchi-Tiuryn-Urzyczyn:IC-99 (Article) | |
| Author(s) | D. Kfoury, Simona Ronchi Della Rocca, J. Tiuryn and Pawel Urzyczyn |
| Title | « Alpha-conversion and Typability » |
| Journal | Information and Computation |
| Volume | 150 |
| Page(s) | 1--21 |
| Year | 1999 |
| BibTeX code |
@article{Kfoury-Ronchi-Tiuryn-Urzyczyn:IC-99,
volume = {150},
tag = {Information and Computation},
title = {Alpha-conversion and Typability},
author = {Kfoury, D. and Ronchi Della Rocca, Simona and Tiuryn, J. and
Urzyczyn, Pawel},
pages = {1--21},
year = 1999,
journal = {Information and Computation},
}
|
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)