%0 Journal Article %1 journals/tocl/BalbianiBDF20 %A Balbiani, Philippe %A Boudou, Joseph %A Diéguez, Martín %A Fernández-Duque, David %D 2020 %J ACM Trans. Comput. Log. %K dblp %N 2 %P 14:1-14:32 %T Intuitionistic Linear Temporal Logics. %U http://dblp.uni-trier.de/db/journals/tocl/tocl21.html#BalbianiBDF20 %V 21

@article{journals/tocl/BalbianiBDF20, added-at = {2024-02-05T00:00:00.000+0100}, author = {Balbiani, Philippe and Boudou, Joseph and Diéguez, Martín and Fernández-Duque, David}, biburl = {https://www.bibsonomy.org/bibtex/2b24c4ca21ec4981d0a252b97251981ac/dblp}, ee = {https://doi.org/10.1145/3365833}, interhash = {160f070cd796f98b231f9d61726b07e7}, intrahash = {b24c4ca21ec4981d0a252b97251981ac}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 2, pages = {14:1-14:32}, timestamp = {2024-04-08T12:38:36.000+0200}, title = {Intuitionistic Linear Temporal Logics.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl21.html#BalbianiBDF20}, volume = 21, year = 2020 }