4
Publications
117
Citations
4
H-Index
1991
Active since
Henri Beringer is an author specializing in automated reasoning, computer science, and engineering.
Top concepts
EngineeringComputer ScienceAutomated ReasoningSyntaxGrammarBusinessLanguageManagementLinguisticsFormal Methods
Publications per year
1991–2007
4
4
Rows per page
1–4 of 4