DMCA

On the decidability of bigraphical sorting (2009)

by Giorgio Bacci , Davide Grohmann
Venue:Proc. CALCO Young Researchers Workshop, number 05/2010 in Technical Report
Citations:1 - 0 self