On the Decision Problems of Program Schemas with Commutative and Invertable Functions.

Ashok K. Chandra

Browse the full POPL paper archive.