Concepedia

Hubert Comon

HC

24

Publications

2.2K

Citations

20

H-Index

1989

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

Laboratoire de Recherche en Informatique

Université Paris-Sud

Université Paris Cité

Hubert Comon is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.

Top concepts

Publications per year

1989–2004

24

Publications

24

Tree automata techniques and applications

Hubert Comon, Max Dauchet · 1997 · 1.2K citations · Full text

Equational problems anddisunification

Hubert Comon, Pierre Lescanne · Journal of Symbolic Computation · 1989 · 194 citations

, , +1

Disunification: A Survey.

Hubert Comon · 1991 · 100 citations

Equational Formulas with Membership Constraints

Hubert Comon, Catherine Delor · Information and Computation · 1994 · 77 citations

, , +4

SOLVING SYMBOLIC ORDERING CONSTRAINTS

Hubert Comon · International Journal of Foundations of Computer Science · 1990 · 67 citations

, , +17

Rows per page

1–5 of 24