@inproceedings{degroote:inria-00099220, TITLE = {{Linear higher-order matching is NP-complete}}, AUTHOR = {de Groote, Philippe}, URL = {https://inria.hal.science/inria-00099220}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{International Conference on Rewriting Techniques \& Applications - RTA'2000}}, ADDRESS = {Norwich, UK}, HAL_LOCAL_REFERENCE = {A00-R-346 || de\_groote00b}, EDITOR = {Leo Bachmair}, PUBLISHER = {{Springer-Verlag}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {1833}, PAGES = {127-140}, YEAR = {2000}, KEYWORDS = {matching ; filtrage}, HAL_ID = {inria-00099220}, HAL_VERSION = {v1}, }