No authors of 1810.02254 can endorse.
Deriving sorting algorithms via abductive logic program transformation
Manuel Hernandez: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Manuel Hernandez: | Is registered as an author of this paper. Not currently an endorser. (why?) |