Suchergebnisse - Kawamura, Tadashi

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

    Abstract interpretation based on OLDT resolution
    von Kanamori, Tadashi, Kawamura, Tadashi

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Logic program synthesis from first order logic specifications
    von Kawamura, Tadashi

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Derivation of efficient logic programs by synthesizing new predicates
    von Kawamura, Tadashi

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Preservation of stronger equivalence in unfold fold logic program transformation
    Band 2
    von Kanamori, Tadashi, Kawamura, Tadashi

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Analyzing success patterns of logic programs by abstract hybrid interpretation
    von Kanamori, Tadashi, Kawamura, Tadashi

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Preservation of stronger equivalence in unfold fold logic program transformation
    von Kanamori, Tadashi, Kawamura, Tadashi

    Buch


    Gespeichert in:

Suchwerkzeuge: