Concepedia

Thierry Heuillard

TH

1

Publications

79

Citations

1

H-Index

1990

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Thierry Heuillard is an author at Centre National de la Recherche Scientifique specializing in language studies, syntax, and linguistics.

Top concepts

SyntaxGrammarLanguageSemanticsEngineeringLinguisticsFormal MethodsComputer ScienceAutomated ReasoningFormal Verification

Publications per year

1990–1990

1

Publications

1

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems

Max Dauchet, Thierry Heuillard, Pierre Lescanne et al. · Information and Computation · 1990 · 79 citations

Syntax, Engineering, Automated Reasoning +12

Rows per page

1–1 of 1