%0 Journal Article %1 journals/logcom/Kashima14 %A Kashima, Ryo %D 2014 %J J. Log. Comput. %K dblp %N 1 %P 117-133 %T An axiomatization of ECTL. %U http://dblp.uni-trier.de/db/journals/logcom/logcom24.html#Kashima14 %V 24

@article{journals/logcom/Kashima14, added-at = {2023-09-30T00:00:00.000+0200}, author = {Kashima, Ryo}, biburl = {https://www.bibsonomy.org/bibtex/2be1929866ab9afa9cfd3beebbe65ff57/dblp}, ee = {https://doi.org/10.1093/logcom/ext005}, interhash = {6d69bfd26dd0ef74a8d44215487771a9}, intrahash = {be1929866ab9afa9cfd3beebbe65ff57}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 1, pages = {117-133}, timestamp = {2024-04-09T05:12:41.000+0200}, title = {An axiomatization of ECTL.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom24.html#Kashima14}, volume = 24, year = 2014 }