Suchergebnisse - Loría-Sáenz, Carlos

  • Treffer 1 – 6 von 6
Treffer filtern
  1. 1
    Buchumschlag

    A term rewriting perspective of object oriented program specifications
    von Loría-Sáenz, Carlos

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A theoretical framework for reasoning about program construction based on extensions of rewrite systems
    von Loría-Sáenz, Carlos

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Synthese von Narrowingprogrammen
    von Loría-Sáenz, Carlos

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A reduction ordering for higher-order terms
    von Avenhaus, Jürgen, Loría-Sáenz, Carlos, Steinbach, Joachim

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Canonical conditional rewrite systems containing extra variables
    von Avenhaus, Jürgen, Loría-Sáenz, Carlos

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A theoretical framework for reasoning about program construction based on extensions of rewrite systems
    von Loria-Saenz, Carlos A.

    Veröffentlicht 1993
    Buch


    Gespeichert in:

Suchwerkzeuge: