%0 Conference Paper %1 conf/tableaux/DAgostinoG96 %A D'Agostino, Marcello %A Gabbay, Dov M. %B TABLEAUX %D 1996 %E Miglioli, Pierangelo %E Moscato, Ugo %E Mundici, Daniele %E Ornaghi, Mario %I Springer %K dblp %P 16-35 %T Fibred Tableaux for Multi-Implication Logic. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux96.html#DAgostinoG96 %V 1071 %@ 3-540-61208-4

@inproceedings{conf/tableaux/DAgostinoG96, added-at = {2017-05-22T00:00:00.000+0200}, author = {D'Agostino, Marcello and Gabbay, Dov M.}, biburl = {https://www.bibsonomy.org/bibtex/2ba09a1f263b7bd7c7a5e43e7106b3b90/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/1996}, editor = {Miglioli, Pierangelo and Moscato, Ugo and Mundici, Daniele and Ornaghi, Mario}, ee = {https://doi.org/10.1007/3-540-61208-4_2}, interhash = {aa46d751302c6014c34f7fd3693fc799}, intrahash = {ba09a1f263b7bd7c7a5e43e7106b3b90}, isbn = {3-540-61208-4}, keywords = {dblp}, pages = {16-35}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:50:01.000+0200}, title = {Fibred Tableaux for Multi-Implication Logic.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux96.html#DAgostinoG96}, volume = 1071, year = 1996 }