Suchergebnisse - Huet, Gérard 1947-

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1986
    Tagungsbericht Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1980
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Logical frameworks

    Veröffentlicht 1991
    Weitere beteiligte Personen: “… Huet, Gérard 1947- …”
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: