%0 Journal Article %1 journals/logcom/Tamura15 %A Tamura, Kuniaki %D 2015 %J J. Log. Comput. %K dblp %N 2 %P 405-441 %T A small model theorem for the hybrid μ-calculus. %U http://dblp.uni-trier.de/db/journals/logcom/logcom25.html#Tamura15 %V 25

@article{journals/logcom/Tamura15, added-at = {2015-04-15T00:00:00.000+0200}, author = {Tamura, Kuniaki}, biburl = {https://www.bibsonomy.org/bibtex/23d82a1e4413f5191af6023b4eea8d3f2/dblp}, ee = {http://dx.doi.org/10.1093/logcom/exs052}, interhash = {bd7df59b115f6611d61041065153bbd4}, intrahash = {3d82a1e4413f5191af6023b4eea8d3f2}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {405-441}, timestamp = {2015-06-17T22:33:04.000+0200}, title = {A small model theorem for the hybrid μ-calculus.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom25.html#Tamura15}, volume = 25, year = 2015 }