Suchergebnisse - Kanamori, Tadashi

Treffer filtern
  1. 1
    Buchumschlag

    Top-down zooming diagnosis of logic programs
    von Maeji, Machi, Kanamori, Tadashi

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Derivation of logic programs from implicit definition
    von Kanamori, Tadashi, Maeji, Machi

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Features of a meta-unification based language Talos
    von Kanamori, Tadashi

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A fixpoint semantics of Guarded Horn Clauses
    von Kanamori, Tadashi, Ueno, Machi

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Unfold fold transformation of logic programs with counters
    von Kanamori, Tadashi, Fujita, Hiroshi

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Soundness and completeness of extended execution for proving properties of Prolog programs
    von Kanamori, Tadashi

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    On parallel programming methodology in GHC: experience in programming of a proof procedure of temporal logic
    von Takahashi, Kazuko, Kanamori, Tadashi

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Alexander parser
    von Kanamori, Tadashi

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Abstract interpretation based on Alexander Templates
    von Kanamori, Tadashi

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    GHC program diagnosis using atom behavior
    von Ueno, Machi, Kanamori, Tadashi

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    A preliminary note on the semantics of Guarded Horn Clauses
    von Kanamori, Tadashi, Maeji, Machi

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    On parallel programming methodology in GHC
    von Takahashi, Kazuko, Kanamori, Tadashi

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Computation by meta-unification with constructors
    von Kanamori, Tadashi

    Veröffentlicht 1985
    Buch


    Gespeichert in:

Suchwerkzeuge: