G. Huet

Publications

968

Citations

H-Index

1975

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

G. Huet is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, automated reasoning, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisProgram TransformationComputational Complexity

Publications per year

1975–1978

Publications

A unification algorithm for typed λ-calculus

G. Huet · Theoretical Computer Science · 1975 · 507 citations

Engineering, Automated Reasoning, Type Theory +5

Proving and applying program transformations expressed with second-order patterns

G. Huet, Bernard Lang · Acta Informatica · 1978 · 283 citations

Program Transformations, Engineering, Automated Reasoning +8

On the Uniform Halting Problem for Term Rewriting Systems

G. Huet · Medical Entomology and Zoology · 1978 · 178 citations

Engineering, Automated Reasoning, Regulated Rewriting +7

Rows per page

1–3 of 3