Treffer 1 – 14 von 14 für Suche 'Takayama, Yukihide', 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
    Coinductive constructive programming for concurrent systems

    Coinductive constructive programming for concurrent systems von Takayama, Yukihide

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Defining concurrent processes constructively

    Defining concurrent processes constructively von Takayama, Yukihide

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    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 Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A programming system based on QJ

    A programming system based on QJ von Takayama, Yukihide

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    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 Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Extended projection method and realizability interpretation

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:
  11. 11
    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 Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Proof parameterization method in constructive logic

    Proof parameterization method in constructive logic von Takayama, Yukihide

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    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 Fernleihe Bestellen


    Gespeichert in:
  14. 14
    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 Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: