Suchergebnisse - Genaim, Samir

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Ranking Functions for Linear-Constraint Loops Autoría: Ben-Amram, Amir M., Genaim, Samir

    Veröffentlicht 2012
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Termination Analysis of Linear-Constraint Programs Autoría: Ben-Amram, Amir M., Genaim, Samir, Ouaknine, Joël, Worrell, James

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: