Treffer 1 – 6 von 6 für Suche 'Loría-Sáenz, Carlos', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    A term rewriting perspective of object oriented program specifications

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

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A theoretical framework for reasoning about program construction based on extensions of rewrite systems

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Synthese von Narrowingprogrammen

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A reduction ordering for higher-order terms

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A theoretical framework for reasoning about program construction based on extensions of rewrite systems

    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 Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Canonical conditional rewrite systems containing extra variables

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: