Suchergebnisse - Huet, Gérard

  • Treffer 1 – 13 von 13
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

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

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Logical frameworks

    Veröffentlicht 1991
    Weitere beteiligte Personen: “… Huet, Gérard …”
    Online lesen
    E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1972
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    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:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1973
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Logical frameworks

    Veröffentlicht 1991
    Weitere beteiligte Personen: “… Huet, Gérard …”

    Online lesen (BSB)
    Benutzerausweis der Bayerischen Staatsbibliothek (BSB) nötig.
    Elektronisch E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    Logical frameworks

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


    Gespeichert in:

Suchwerkzeuge: