Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

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?)