%0 Conference Paper %1 conf/lfcs/BresolinGMS07 %A Bresolin, Davide %A Goranko, Valentin %A Montanari, Angelo %A Sciavicco, Guido %B LFCS %D 2007 %E Artëmov, Sergei N. %E Nerode, Anil %I Springer %K dblp %P 84-99 %T On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. %U http://dblp.uni-trier.de/db/conf/lfcs/lfcs2007.html#BresolinGMS07 %V 4514 %@ 978-3-540-72732-3

@inproceedings{conf/lfcs/BresolinGMS07, added-at = {2022-12-07T00:00:00.000+0100}, author = {Bresolin, Davide and Goranko, Valentin and Montanari, Angelo and Sciavicco, Guido}, biburl = {https://www.bibsonomy.org/bibtex/2b429d3e754a0e17a89977828ff89d888/dblp}, booktitle = {LFCS}, crossref = {conf/lfcs/2007}, editor = {Artëmov, Sergei N. and Nerode, Anil}, ee = {https://doi.org/10.1007/978-3-540-72734-7_7}, interhash = {3606c9a5a9c7d31ac48ddd185548d5f4}, intrahash = {b429d3e754a0e17a89977828ff89d888}, isbn = {978-3-540-72732-3}, keywords = {dblp}, pages = {84-99}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:45:14.000+0200}, title = {On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.}, url = {http://dblp.uni-trier.de/db/conf/lfcs/lfcs2007.html#BresolinGMS07}, volume = 4514, year = 2007 }