Search Results - Huet, Gérard

  • Showing 1 – 13 results of 13
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

    La tourmente révolutionnaire de 1789 à 1793: Broons, Caulnes, pays du Mené
    by Huet, Gérard

    Published 1989
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Logical frameworks

    Published 1991
    Other Authors: “…Huet, Gérard…”
    Read online
    eBook


    Saved in:
  9. 9
    Cover Image

    Constrained resolution a complete method for higher order logic
    by Huet, Gerard Pierre

    Published 1972
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    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:
  11. 11
    Cover Image

    A Mechanization of type theory
    by Huet, Gérard P

    Published 1973
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Logical frameworks

    Published 1991
    Other Authors: “…Huet, Gérard…”

    Read online (BSB)
    Library Card of Bavarian State Library (BSB) necessary.
    Electronic eBook


    Saved in:
  13. 13
    Cover Image

    Logical frameworks

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


    Saved in:

Search Tools: