Location via proxy:
[ UP ]
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
We gratefully acknowledge support from
the Simons Foundation and member institutions.
arXiv.org
No authors of 0910.2853 can endorse.
Decreasing Diagrams and Relative Termination
Aart Middeldorp:
Is registered as an author of this paper.
Not currently an endorser. (
why?
)
Nao Hirokawa
is not registered as an owner of this paper. (
why?
)