Search Results - Huet, Gérard 1947-

  • Showing 1 – 8 results of 8
Filter by
  1. 1
    Cover Image

    Working material for the lectures of ...
    [4] - Formal structures for computation and deduction
    by Huet, Gérard 1947-

    Published 1986
    Conference Proceedings Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1980
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1979
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1980
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1978
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    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]
    by Huet, Gérard 1947-

    Published 1989
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Logical frameworks

    Published 1991
    Other Authors: “…Huet, Gérard 1947-…”
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: