Richard McKinley is qualified to endorse.
Proof nets for Herbrand's Theorem
Richard McKinley: | Is registered as an author of this paper. Can endorse for cs.CV, cs.LG, cs.LO. (why?) |
Richard McKinley: | Is registered as an author of this paper. Can endorse for cs.CV, cs.LG, cs.LO. (why?) |