Inproceedings,

Regular approximation and bounded domains for size-change termination.

, and .
PEPM, page 53-62. ACM, (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews