Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2022 - (1)

  • Revue internationale à comité de lecture - (1)

    • Modular termination of prefix-constrained term rewrite systems
      Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
      

      HAL : 4244060

• 2018 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Confluence of Prefix-Constrained Rewrite Systems
      Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
      

      HAL : 1780553

• 2017 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Transforming Prefix-Constrained or Controlled Rewrite Systems
      Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY, Vivien PELLETIER
      

      HAL : 1445668

• 2015 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Over-Approximating Terms Reachable by Context-Sensitive Rewriting
      Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
      

      HAL : 1225332