From CTL to Datalog. Afrati, F., Andronikos, T., Pavlaki, V., Foustoucos, E., & Guessarian, I. In Proceedings of the Paris C. Kanellakis Memorial Workshop on Principles of Computing & Knowledge: Paris C. Kanellakis Memorial Workshop on the Occasion of His 50th Birthday, of PCK50, pages 72 – 85, New York, NY, USA, 2003. ACM. ![From CTL to Datalog [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @InProceedings{afrati_ctl_2003,
address = {New York, {NY}, {USA}},
series = {{PCK50}},
title = {From {CTL} to Datalog},
isbn = {1-58113-604-8},
url = {http://doi.acm.org/10.1145/778348.778359},
doi = {10.1145/778348.778359},
booktitle = {Proceedings of the Paris C. Kanellakis Memorial Workshop on Principles of Computing \& Knowledge: Paris C. Kanellakis Memorial Workshop on the Occasion of His 50th Birthday},
publisher = {{ACM}},
author = {Afrati, Foto and Andronikos, Theodore and Pavlaki, Vassia and Foustoucos, Eugenie and Guessarian, Irène},
year = {2003},
keywords = {Datalog, temporal logic, verification},
pages = {72 -- 85}
}
Downloads: 0
{"_id":{"_str":"538590720e577e1d6b002306"},"__v":62,"authorIDs":["54658f19bc7d6a460d0005a8"],"author_short":["Afrati, F.","Andronikos, T.","Pavlaki, V.","Foustoucos, E.","Guessarian, I."],"bibbaseid":"afrati-andronikos-pavlaki-foustoucos-guessarian-fromctltodatalog-2003","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"New York, NY, USA","series":"PCK50","title":"From CTL to Datalog","isbn":"1-58113-604-8","url":"http://doi.acm.org/10.1145/778348.778359","doi":"10.1145/778348.778359","booktitle":"Proceedings of the Paris C. Kanellakis Memorial Workshop on Principles of Computing & Knowledge: Paris C. Kanellakis Memorial Workshop on the Occasion of His 50th Birthday","publisher":"ACM","author":[{"propositions":[],"lastnames":["Afrati"],"firstnames":["Foto"],"suffixes":[]},{"propositions":[],"lastnames":["Andronikos"],"firstnames":["Theodore"],"suffixes":[]},{"propositions":[],"lastnames":["Pavlaki"],"firstnames":["Vassia"],"suffixes":[]},{"propositions":[],"lastnames":["Foustoucos"],"firstnames":["Eugenie"],"suffixes":[]},{"propositions":[],"lastnames":["Guessarian"],"firstnames":["Irène"],"suffixes":[]}],"year":"2003","keywords":"Datalog, temporal logic, verification","pages":"72 – 85","bibtex":"@InProceedings{afrati_ctl_2003,\n\taddress = {New York, {NY}, {USA}},\n\tseries = {{PCK50}},\n\ttitle = {From {CTL} to Datalog},\n\tisbn = {1-58113-604-8},\n\turl = {http://doi.acm.org/10.1145/778348.778359},\n\tdoi = {10.1145/778348.778359},\n\tbooktitle = {Proceedings of the Paris C. Kanellakis Memorial Workshop on Principles of Computing \\& Knowledge: Paris C. Kanellakis Memorial Workshop on the Occasion of His 50th Birthday},\n\tpublisher = {{ACM}},\n\tauthor = {Afrati, Foto and Andronikos, Theodore and Pavlaki, Vassia and Foustoucos, Eugenie and Guessarian, Irène},\n\tyear = {2003},\n\tkeywords = {Datalog, temporal logic, verification},\n\tpages = {72 -- 85}\n}\n\n","author_short":["Afrati, F.","Andronikos, T.","Pavlaki, V.","Foustoucos, E.","Guessarian, I."],"key":"afrati_ctl_2003","id":"afrati_ctl_2003","bibbaseid":"afrati-andronikos-pavlaki-foustoucos-guessarian-fromctltodatalog-2003","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/778348.778359"},"keyword":["Datalog","temporal logic","verification"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.ionio.gr/~andronikos/andron.bib","downloads":0,"keywords":["datalog","temporal logic","verification"],"search_terms":["ctl","datalog","afrati","andronikos","pavlaki","foustoucos","guessarian"],"title":"From CTL to Datalog","year":2003,"dataSources":["gXaEZgfAnH6LvDp7P"]}