On Finite Representations of Infinite Sequences of Terms.

Journal

Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings

Pages

100-114

Date Issued

1990

Author(s)

Chen, Hong

Hsiang, Jieh

Kong, Hwa-Chung

DOI

URI

URL

Type

conference paper