On the complexity of stream equality
Article in Journal of Functional Programming (January 2014)
The most recent citing publications are shown below. View all 9 publications that cite this research output on Dimensions.
Article in Journal of Functional Programming (January 2014)
Article in Logical Methods in Computer Science (April 2009)
Book chapter (January 2009)