Algorithms with polynomial interpretation termination proof

Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet. Algorithms with polynomial interpretation termination proof. Journal of Functional Programming, 11(1):33-53, 2001.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.