@article{marion:inria-00098803, TITLE = {{From multiple sequent for Additive Linear Logic to decision procedures for Free Lattices}}, AUTHOR = {Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00098803}, NOTE = {Editor S. Adian. Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Theoretical Computer Science}}, HAL_LOCAL_REFERENCE = {99-R-003 || marion99a}, PUBLISHER = {{Elsevier}}, VOLUME = {224}, NUMBER = {1-2}, PAGES = {157-172}, YEAR = {1999}, DOI = {10.1016/S0304-3975(98)00311-9}, KEYWORDS = {decision procedure ; treillis libre ; free lattices ; additive linear logic ; sequent calculus ; fragment additif ; logique lin{\'e}aire ; calcul des s{\'e}quents ; probl{\`e}me de d{\'e}cision}, HAL_ID = {inria-00098803}, HAL_VERSION = {v1}, }