@inproceedings{degroote:inria-00099221, TITLE = {{Proof-search in implicative linear logic as a matching problem}}, AUTHOR = {de Groote, Philippe}, URL = {https://inria.hal.science/inria-00099221}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{International Conference on Logic for Programming \& Automated Reasoning - LPAR'2000}}, ADDRESS = {Reunion Island, France}, HAL_LOCAL_REFERENCE = {A00-R-345 || de\_groote00c}, EDITOR = {Michel Parigot, Andrei Voronkov}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Artificial Intelligence}, VOLUME = {1955}, PAGES = {257-274}, YEAR = {2000}, KEYWORDS = {linear logic ; logique lin{\'e}aire}, HAL_ID = {inria-00099221}, HAL_VERSION = {v1}, }