%0 Conference Paper %1 conf/cade/GalmicheM18 %A Galmiche, Didier %A Méry, Daniel %B ARQNL@IJCAR %D 2018 %E Benzmüller, Christoph %E Otten, Jens %I CEUR-WS.org %K dblp %P 49-63 %T Labelled Connection-based Proof Search for Multiplicative Intuitionistic. %U http://dblp.uni-trier.de/db/conf/cade/arqnl2018.html#GalmicheM18 %V 2095

@inproceedings{conf/cade/GalmicheM18, added-at = {2023-03-10T00:00:00.000+0100}, author = {Galmiche, Didier and Méry, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/206f8a5119ba0b257a761731243d1b9bd/dblp}, booktitle = {ARQNL@IJCAR}, crossref = {conf/cade/2018arqnl}, editor = {Benzmüller, Christoph and Otten, Jens}, ee = {https://ceur-ws.org/Vol-2095/paper3.pdf}, interhash = {1339772d5b38d6e36812289d3f1f197d}, intrahash = {06f8a5119ba0b257a761731243d1b9bd}, keywords = {dblp}, pages = {49-63}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:54:57.000+0200}, title = {Labelled Connection-based Proof Search for Multiplicative Intuitionistic.}, url = {http://dblp.uni-trier.de/db/conf/cade/arqnl2018.html#GalmicheM18}, volume = 2095, year = 2018 }