sharing-morphisms and (optimal) - graph reductions (0)

by Sharing-graphs
Venue:The Tbilisi Symposyum on Logic, Language and Computation