Treffer 1 - 4 von 4 für Suche 'Singher, Eytan', Suchdauer: 0,44s Treffer weiter einschränken
  1. 1
    Colored E-Graph: Equality Reasoning with Conditions

    Colored E-Graph: Equality Reasoning with Conditions von Singher, Eytan, Itzhaky, Shachar

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Condition Synthesis Realizability via Constrained Horn Clauses

    Condition Synthesis Realizability via Constrained Horn Clauses von Rothenberg, Bat-Chen, Grumberg, Orna, Vizel, Yakir, Singher, Eytan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Colored E-Graph: Equality Reasoning with Conditions

    Colored E-Graph: Equality Reasoning with Conditions von Singher, Eytan, Shachar Itzhaky

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Theory Exploration Powered By Deductive Synthesis

    Theory Exploration Powered By Deductive Synthesis von Singher, Eytan, Shachar Itzhaky

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: