G. Huet

No bio available. Add one in Open Library.

Books by G. Huet (50 max)

+ shelf+ list

Pour une politique rizicole nouvelle

1947

G. Huet

+ shelf+ list

Construction, amélioration et vérification de programmes =: Proving and improving programs

1975

G. Huet, G. Kahn

+ shelf+ list

Logic, Algebra, and Computation

1991

F. L. Bauer, W. Brauer, G. Huet