gefundene Verfasser YUKIHIDE

Takayama, Yukihide
Hayashi, Susumu
Takekawa, Yukihide 1952-

Treffer 1 - 15 von 15 für Suche 'YUKIHIDE', Suchdauer: 0,45s Treffer weiter einschränken
  1. 1
    Coinductive constructive programming for concurrent systems

    Coinductive constructive programming for concurrent systems von Takayama, Yukihide

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Extraction of redundancy-free programs from constructive natural deduction proofs

    Extraction of redundancy-free programs from constructive natural deduction proofs von Takayama, Yukihide

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Extended projection method in proofs-as-programs

    Extended projection method in proofs-as-programs von Takayama, Yukihide

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The best of Yukihide Takekawa = Za besuto obu Takekawa Yukihide

    The best of Yukihide Takekawa = Za besuto obu Takekawa Yukihide von Takekawa, Yukihide 1952-

    Veröffentlicht 1994
    CD Audio

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Defining concurrent processes constructively

    Defining concurrent processes constructively von Takayama, Yukihide

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    QPC2, a second order logic for high order programming

    QPC2, a second order logic for high order programming von Takayama, Yukihide

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A programming system based on QJ

    A programming system based on QJ von Takayama, Yukihide

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Writing program as QJ proof and compiling into PROLOG program

    Writing program as QJ proof and compiling into PROLOG program von Takayama, Yukihide

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Extended projection method and realizability interpretation

    Extended projection method and realizability interpretation von Takayama, Yukihide, Hayashi, Susumu

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Higher order programming in QPC2 a case study of map-function

    Higher order programming in QPC2 a case study of map-function von Takayama, Yukihide

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Extended projection, a new method to extract efficient programs from constructive proofs

    Extended projection, a new method to extract efficient programs from constructive proofs von Takayama, Yukihide

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Proof theoretic approach to the extraction of redundancy-free realizer codes

    Proof theoretic approach to the extraction of redundancy-free realizer codes von Takayama, Yukihide

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Proof parameterization method in constructive logic

    Proof parameterization method in constructive logic von Takayama, Yukihide

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    QPC, QJ-based proof compiler, simple examples and analysis

    QPC, QJ-based proof compiler, simple examples and analysis von Takayama, Yukihide

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Proof compiling technique based on realizability and proof normalization

    Proof compiling technique based on realizability and proof normalization von Takayama, Yukihide

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: