Gérard Huet

Gérard Huet (* 7. Juli 1947 in Bourges) ist ein französischer Informatiker. Veröffentlicht in Wikipedia
Treffer 1 – 8 von 8 für Suche 'Huet, Gérard 1947-', Suchdauer: 0,06s 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
    Systèmes d'information introd. à une construction participative

    Systèmes d'information introd. à une construction participative von Huet, Gérard 1947-, Rousset, Jean

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A uniform approach to type theory [working material for the lectures of Gerard Huet, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]

    A uniform approach to type theory [working material for the lectures of Gerard Huet, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25... von Huet, Gérard 1947-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proofs by induction in equational theories with constructors

    Proofs by induction in equational theories with constructors von Huet, Gérard 1947-, Hullot, Jean-Marie

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    An algorithm to generate the basis of solutions to homogeneous linear diophantine equations

    An algorithm to generate the basis of solutions to homogeneous linear diophantine equations von Huet, Gérard 1947-

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Working material for the lectures of ...

    Working material for the lectures of ... von Huet, Gérard 1947-

    Veröffentlicht 1986
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A complete proof of correctness of the Knuth-Bendix completion algorithm

    A complete proof of correctness of the Knuth-Bendix completion algorithm von Huet, Gérard 1947-

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Call by need computations in non-ambiguous linear term rewriting systems

    Call by need computations in non-ambiguous linear term rewriting systems von Huet, Gérard 1947-, Lévy, Jean-Jacques

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Logical frameworks

    Logical frameworks

    Veröffentlicht 1991
    Weitere Verfasser: “… Huet, Gérard 1947- …”
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: