Towards parametrizing word equations
Work
Year: 2001
Type: article
Abstract: Classically, in order to resolve an equation u ≈ v over a free monoid X*, we reduce it by a suitable family of substitutions to a family of equations uf ≈ vf, , each involving less variables than u ≈ ... more
Authors Habib Abdulrab, P. Goralčík, G. S. Makanin
Institutions Institut National des Sciences Appliquées Rouen Normandie, Université de Rouen Normandie, Steklov Mathematical Institute
Cites: 2
Cited by: 3
Related to: 10
FWCI:
Citation percentile (by year/subfield): 62.22
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green