Login / Signup

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

Ashok K. Chandra
Published in: POPL (1973)
Keyphrases