Skip to content

Equality of streams is a Pi0 over 2-complete problem.

Grigore Rosu

VenueAICFP
Year2006
ProceedingsICFP

Browse the full ICFP paper archive.