Treffer 1 – 5 von 5 für Suche 'Horiuchi, Kenji', Suchdauer: 0,02s 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
    Polymorphic type inference in Prolog by abstract interpretation

    Polymorphic type inference in Prolog by abstract interpretation von Horiuchi, Kenji, Kanamori, Tadashi

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Detecting functionality of logic programs based on abstract hybrid interpre

    Detecting functionality of logic programs based on abstract hybrid interpre von Kanamori, Tadashi, Horiuchi, Kenji, Kawamura, Tadashi

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Construction of logic programs based on generalized unfold fold rules

    Construction of logic programs based on generalized unfold fold rules von Kanamori, Tadashi, Horiuchi, Kenji

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Less abstract semantics for abstract interpretation of FGHC programs

    Less abstract semantics for abstract interpretation of FGHC programs von Horiuchi, Kenji

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Detecting termination of logic programs based on abstract hybrid interpretation

    Detecting termination of logic programs based on abstract hybrid interpretation von Kanamori, Tadashi, Kawamura, Tadashi, Horiuchi, Kenji

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: