gefundene Verfasser KANAMORI, Tadashi

Kanamori, Tadashi
Kawamura, Tadashi
Horiuchi, Kenji
Maeji, Machi
Seki, Hirohisa
Alle anzeigen »
Takahashi, Kazuko
Ueno, Machi
Fujita, Hiroshi

Treffer 1 - 20 von 23 für Suche 'KANAMORI, Tadashi', Suchdauer: 0,38s Treffer weiter einschränken
  1. 1
    Abstract interpretation based on OLDT resolution

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Preservation of stronger equivalence in unfold fold logic program transformation

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    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

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Analyzing success patterns of logic programs by abstract hybrid interpretation

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

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Preservation of stronger equivalence in unfold fold logic program transformation

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

    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Alexander parser

    Alexander parser von Kanamori, Tadashi

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Abstract interpretation based on Alexander Templates

    Abstract interpretation based on Alexander Templates von Kanamori, Tadashi

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    GHC program diagnosis using atom behavior

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

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A preliminary note on the semantics of Guarded Horn Clauses

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    On parallel programming methodology in GHC

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

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Computation by meta-unification with constructors

    Computation by meta-unification with constructors von Kanamori, Tadashi

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Incorporating generalization heuristics into verification of Prolog programs

    Incorporating generalization heuristics into verification of Prolog programs von Seki, Hirohisa, Kanamori, Tadashi

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Verification of Prolog programs using an extension of execution

    Verification of Prolog programs using an extension of execution von Kanamori, Tadashi, Seki, Hirohisa

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Top-down zooming diagnosis of logic programs

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

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Derivation of logic programs from implicit definition

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

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    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

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Features of a meta-unification based language Talos

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

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A fixpoint semantics of Guarded Horn Clauses

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

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    On parallel programming methodology in GHC experience in programming of a proof procedure of temporal logic

    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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: