No authors of 1608.03424 can endorse.
Partial Evaluation of Order-sorted Equational Programs modulo Axioms
Maria Alpuente: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Angel Cuenca-Ortega: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Santiago Escobar: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Jose Meseguer is not registered as an owner of this paper. (why?)