%0 Journal Article %1 journals/mlq/BurriezaGM10 %A Burrieza, Alfredo %A de Guzmán, Inmaculada Perez %A Muñoz-Velasco, Emilio %D 2010 %J Math. Log. Q. %K dblp %N 1 %P 89-102 %T Analyzing completeness of axiomatic functional systems for temporal × modal logics. %U http://dblp.uni-trier.de/db/journals/mlq/mlq56.html#BurriezaGM10 %V 56

@article{journals/mlq/BurriezaGM10, added-at = {2010-03-17T00:00:00.000+0100}, author = {Burrieza, Alfredo and de Guzmán, Inmaculada Perez and Muñoz-Velasco, Emilio}, biburl = {https://www.bibsonomy.org/bibtex/25800711cf79451167beb7422e7639cb2/dblp}, date = {2010-03-17}, description = {dblp}, ee = {http://dx.doi.org/10.1002/malq.200810038}, interhash = {c8a01e5cef4aa70ccd30bb481754f6fa}, intrahash = {5800711cf79451167beb7422e7639cb2}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 1, pages = {89-102}, timestamp = {2010-03-18T11:35:18.000+0100}, title = {Analyzing completeness of axiomatic functional systems for temporal × modal logics.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq56.html#BurriezaGM10}, volume = 56, year = 2010 }