Jorge F. Salas

  • Citations Per Year
Learn More
BACKGROUND Doxorubicin and pemetrexed have both shown single-agent activity in breast cancer. Preclinical and clinical evidence indicates that a combination of the 2 agents might have an additive or synergistic effect. A phase II trial was initiated to assess the antitumor activity and safety of pemetrexed plus doxorubicin in women with advanced breast(More)
We present a language for encoding semiautomatic proofs of theorems in the inductive theory generated by a system of equations oriented as rewriting rules. These proofs can be made using a rewriting induction principle with a special notion of cover set. The proofs can include simple or conditional rewriting steps using auxiliary lemmas and case analysis(More)
  • 1