%0 Conference Paper %1 conf/tableaux/BaldoniGM98 %A Baldoni, Matteo %A Giordano, Laura %A Martelli, Alberto %B TABLEAUX %D 1998 %E de Swart, Harrie C. M. %I Springer %K dblp %P 44-59 %T A Tableau for Multimodal Logics and Some (Un)Decidability Results. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux98.html#BaldoniGM98 %V 1397 %@ 3-540-64406-7

@inproceedings{conf/tableaux/BaldoniGM98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Baldoni, Matteo and Giordano, Laura and Martelli, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/2cfdea5ec11cb94aebdd9fe9493cfa363/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/1998}, editor = {de Swart, Harrie C. M.}, ee = {https://doi.org/10.1007/3-540-69778-0_13}, interhash = {6bc4695510765318ba6648ca537cf114}, intrahash = {cfdea5ec11cb94aebdd9fe9493cfa363}, isbn = {3-540-64406-7}, keywords = {dblp}, pages = {44-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:49:40.000+0200}, title = {A Tableau for Multimodal Logics and Some (Un)Decidability Results.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux98.html#BaldoniGM98}, volume = 1397, year = 1998 }