Vol-3283⫷ Vol-3284 ⫸Vol-3285
urn:nbn:de:0074-3284-0


Vol-3284/8665⫷Vol-3284/4069⫸Vol-3284/8939
Davide AnconaPietro BarbieriElena Zucca

Equality of Corecursive Streams Defined by Finitary Equational Systems