Login / Signup

Regular approximation and bounded domains for size-change termination.

Hugh AndersonSiau-Cheng Khoo
Published in: PEPM (2010)
Keyphrases