|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| lncs1987 (In proceedings) | |
| Author(s) | Simona Ronchi Della Rocca |
| Title | « A Unification Semi-Algorithm for Intersection Type Schemes » |
| In | Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '87). Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87) |
| Series | LNCS |
| Editor(s) | Robert Kowalski Giorgio Levi Hartmut Ehrig and Ugo Mantanari |
| Volume | 249 |
| Page(s) | 37--51 |
| Year | 1987 |
| Publisher | Springer |
| Address | Pisa, Italy |
| ISBN number | 3-540-17660-8 |
| BibTeX code |
@inproceedings{lncs1987,
volume = {249},
month = mar,
author = {Ronchi Della Rocca, Simona},
series = {LNCS},
booktitle = {Proceedings of the International Joint Conference on Theory and
Practice of Software Development ({TAPSOFT} '87). Volume 1:
Advanced Seminar on Foundations of Innovative Software
Development {I} and Colloquium on Trees in Algebra and
Programming ({CAAP}'87)},
editor = {Giorgio Levi {Hartmut Ehrig, Robert Kowalski} and Ugo Mantanari},
title = {A Unification Semi-Algorithm for Intersection Type Schemes},
isbn = {3-540-17660-8},
tag = {TAPSOFT'87},
address = {Pisa, Italy},
publisher = {Springer},
year = {1987},
pages = {37--51},
}
|
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)