The following pages link to Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas (Q624386):
Displaying 1 item.