@inproceedings{perrier:inria-00100667, TITLE = {{Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions}}, AUTHOR = {Perrier, Guy}, URL = {https://inria.hal.science/inria-00100667}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning - LPAR 2001}}, ADDRESS = {Havana, Cuba, France}, HAL_LOCAL_REFERENCE = {A01-R-419 || perrier01a}, EDITOR = {Robert Nieuwenhuis, Andrei Voronkov}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Artificial Intelligence}, VOLUME = {2250}, PAGES = {233-248}, YEAR = {2001}, KEYWORDS = {proof nets ; linear logic ; r{\'e}seaux de d{\'e}monstration ; logique lin{\'e}aire}, HAL_ID = {inria-00100667}, HAL_VERSION = {v1}, }