Vectorial languages and linear temporal logic. Serre, O. Theor. Comput. Sci., 310(1-3):79–116, 2004. Paper doi bibtex @article{DBLP:journals/tcs/Serre04,
author = {Olivier Serre},
title = {Vectorial languages and linear temporal logic},
journal = {Theor. Comput. Sci.},
volume = {310},
number = {1-3},
pages = {79--116},
year = {2004},
url = {https://doi.org/10.1016/S0304-3975(03)00346-3},
doi = {10.1016/S0304-3975(03)00346-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/Serre04},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"rqQkgWQZNBzNaf2pf","bibbaseid":"serre-vectoriallanguagesandlineartemporallogic-2004","downloads":0,"creationDate":"2018-10-09T13:37:34.060Z","title":"Vectorial languages and linear temporal logic","author_short":["Serre, O."],"year":2004,"bibtype":"article","biburl":"https://dblp.org/pid/21/858.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Olivier"],"propositions":[],"lastnames":["Serre"],"suffixes":[]}],"title":"Vectorial languages and linear temporal logic","journal":"Theor. Comput. Sci.","volume":"310","number":"1-3","pages":"79–116","year":"2004","url":"https://doi.org/10.1016/S0304-3975(03)00346-3","doi":"10.1016/S0304-3975(03)00346-3","timestamp":"Sun, 28 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/tcs/Serre04","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tcs/Serre04,\n author = {Olivier Serre},\n title = {Vectorial languages and linear temporal logic},\n journal = {Theor. Comput. Sci.},\n volume = {310},\n number = {1-3},\n pages = {79--116},\n year = {2004},\n url = {https://doi.org/10.1016/S0304-3975(03)00346-3},\n doi = {10.1016/S0304-3975(03)00346-3},\n timestamp = {Sun, 28 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/tcs/Serre04},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Serre, O."],"key":"DBLP:journals/tcs/Serre04","id":"DBLP:journals/tcs/Serre04","bibbaseid":"serre-vectoriallanguagesandlineartemporallogic-2004","role":"author","urls":{"Paper":"https://doi.org/10.1016/S0304-3975(03)00346-3"},"downloads":0},"search_terms":["vectorial","languages","linear","temporal","logic","serre"],"keywords":[],"authorIDs":[],"dataSources":["NXyGhwPCjN6xnXQ6d"]}