Unification et disunification : théorie et applications. (Unification and disunification in free algebras and in initial algebras : theory and applications).
H. Comon. Grenoble Institute of Technology, France, (1988)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Comon88
%A Comon, Hubert
%D 1988
%K
%T Unification et disunification : théorie et applications. (Unification and disunification in free algebras and in initial algebras : theory and applications).
@phdthesis{phd/hal/Comon88,
added-at = {2023-12-13T04:46:17.000+0100},
author = {Comon, Hubert},
biburl = {https://www.bibsonomy.org/bibtex/2e6356276cc0b0499fc1e0f6ae3b5a318/admin},
ee = {https://tel.archives-ouvertes.fr/tel-00331263},
interhash = {9a16e0be5e60183c61d2fc6b50b5c914},
intrahash = {e6356276cc0b0499fc1e0f6ae3b5a318},
keywords = {},
school = {Grenoble Institute of Technology, France},
timestamp = {2023-12-13T04:46:17.000+0100},
title = {Unification et disunification : théorie et applications. (Unification and disunification in free algebras and in initial algebras : theory and applications).},
year = 1988
}