Paolo Baldan, Barbara König and Tommaso Padoan are qualified to endorse.
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations
Paolo Baldan: | Is registered as an author of this paper. Can endorse for cs.LO. (why?) |
Barbara König: | Is registered as an author of this paper. Can endorse for cs.AI, cs.FL, cs.LO, cs.SE, cs.SI. (why?) |
Tommaso Padoan: | Is registered as an author of this paper. Can endorse for cs.AI, cs.CE, cs.LG, cs.LO, cs.MA. (why?) |