Data Types in Subdefinite Models.

Vitaly Telerman, Dmitry Ushakov

Browse the full AISC paper archive.