Fulltext present in this item

Thumbnail
Fulltext: 104051.pdf
Format: PDF
Description: preprint version
Title: Modularity of strong normalization and confluence in the algebraic-λ-cube
Author(s): Barbanera, F.; Fernandez, M.; Geuvers, J.H.
Publication year: 1994
In: Ninth annual IEEE symposium on Logic in Computer Science, July 4-7,1994, Paris, France : proceedings, pp. 406-415
Publisher: [S.l.] : IEEE
DOI: http://dx.doi.org/10.1109/lics.1994.316049
Annotation: LICS '94: Symposium on Logic in Computer Science, 4-7 July, 1994, Paris, France
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/104051   http://hdl.handle.net/2066/104051

Display more details
Subject: Data Science
Organization: Foundations
Software Science
Book title: Ninth annual IEEE symposium on Logic in Computer Science, July 4-7,1994, Paris, France : proceedings
Page start: p. 406
Page end: p. 415

This item appears in the following Collection(s)

Browse

Statistics