%0 Journal Article %1 journals/logcom/ChadhaMS06 %A Chadha, Rohit %A Macedonio, Damiano %A Sassone, Vladimiro %D 2006 %J J. Log. Comput. %K dblp %N 1 %P 27-59 %T A Hybrid Intuitionistic Logic: Semantics and Decidability. %U http://dblp.uni-trier.de/db/journals/logcom/logcom16.html#ChadhaMS06 %V 16

@article{journals/logcom/ChadhaMS06, added-at = {2006-03-15T00:00:00.000+0100}, author = {Chadha, Rohit and Macedonio, Damiano and Sassone, Vladimiro}, biburl = {https://www.bibsonomy.org/bibtex/2e21993a7e1792b61de9792ef53ad5bbe/dblp}, date = {2006-03-15}, description = {dblp}, ee = {http://dx.doi.org/10.1093/logcom/exi071}, interhash = {105c6bc1804d4f809e3840256f0fe743}, intrahash = {e21993a7e1792b61de9792ef53ad5bbe}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 1, pages = {27-59}, timestamp = {2006-03-15T00:00:00.000+0100}, title = {A Hybrid Intuitionistic Logic: Semantics and Decidability.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom16.html#ChadhaMS06}, volume = 16, year = 2006 }