Hyperequivalence of Programs and Operators.

Miroslaw Truszczynski, Stefan Woltran

Browse the full ISAIM paper archive.