The Complexity of Generalized Satisfiability for Linear Temporal Logic. Bauland, M., Schneider, T., Schnoor, H., Schnoor, I., & Vollmer, H. Electron. Colloquium Comput. Complex., 2006. Link Paper bibtex @article{journals/eccc/BaulandSSSV06,
added-at = {2020-09-08T00:00:00.000+0200},
author = {Bauland, Michael and Schneider, Thomas and Schnoor, Henning and Schnoor, Ilka and Vollmer, Heribert},
biburl = {https://www.bibsonomy.org/bibtex/24d9bb69400b2674e217994121dd451bf/dblp},
ee = {http://eccc.hpi-web.de/eccc-reports/2006/TR06-153/index.html},
interhash = {d0957cfbef559696c6d7f439e14684a5},
intrahash = {4d9bb69400b2674e217994121dd451bf},
journal = {Electron. Colloquium Comput. Complex.},
keywords = {dblp},
number = 153,
timestamp = {2020-09-09T12:32:35.000+0200},
title = {The Complexity of Generalized Satisfiability for Linear Temporal Logic.},
url = {http://dblp.uni-trier.de/db/journals/eccc/eccc13.html#BaulandSSSV06},
volume = 13,
year = 2006
}
Downloads: 0
{"_id":"tPo6KMNok9FrWWoY4","bibbaseid":"bauland-schneider-schnoor-schnoor-vollmer-thecomplexityofgeneralizedsatisfiabilityforlineartemporallogic-2006","downloads":0,"creationDate":"2018-08-03T15:45:45.260Z","title":"The Complexity of Generalized Satisfiability for Linear Temporal Logic.","author_short":["Bauland, M.","Schneider, T.","Schnoor, H.","Schnoor, I.","Vollmer, H."],"year":2006,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Schneider?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-08T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Bauland"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Schnoor"],"firstnames":["Henning"],"suffixes":[]},{"propositions":[],"lastnames":["Schnoor"],"firstnames":["Ilka"],"suffixes":[]},{"propositions":[],"lastnames":["Vollmer"],"firstnames":["Heribert"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/24d9bb69400b2674e217994121dd451bf/dblp","ee":"http://eccc.hpi-web.de/eccc-reports/2006/TR06-153/index.html","interhash":"d0957cfbef559696c6d7f439e14684a5","intrahash":"4d9bb69400b2674e217994121dd451bf","journal":"Electron. Colloquium Comput. Complex.","keywords":"dblp","number":"153","timestamp":"2020-09-09T12:32:35.000+0200","title":"The Complexity of Generalized Satisfiability for Linear Temporal Logic.","url":"http://dblp.uni-trier.de/db/journals/eccc/eccc13.html#BaulandSSSV06","volume":"13","year":"2006","bibtex":"@article{journals/eccc/BaulandSSSV06,\n added-at = {2020-09-08T00:00:00.000+0200},\n author = {Bauland, Michael and Schneider, Thomas and Schnoor, Henning and Schnoor, Ilka and Vollmer, Heribert},\n biburl = {https://www.bibsonomy.org/bibtex/24d9bb69400b2674e217994121dd451bf/dblp},\n ee = {http://eccc.hpi-web.de/eccc-reports/2006/TR06-153/index.html},\n interhash = {d0957cfbef559696c6d7f439e14684a5},\n intrahash = {4d9bb69400b2674e217994121dd451bf},\n journal = {Electron. Colloquium Comput. Complex.},\n keywords = {dblp},\n number = 153,\n timestamp = {2020-09-09T12:32:35.000+0200},\n title = {The Complexity of Generalized Satisfiability for Linear Temporal Logic.},\n url = {http://dblp.uni-trier.de/db/journals/eccc/eccc13.html#BaulandSSSV06},\n volume = 13,\n year = 2006\n}\n\n","author_short":["Bauland, M.","Schneider, T.","Schnoor, H.","Schnoor, I.","Vollmer, H."],"key":"journals/eccc/BaulandSSSV06","id":"journals/eccc/BaulandSSSV06","bibbaseid":"bauland-schneider-schnoor-schnoor-vollmer-thecomplexityofgeneralizedsatisfiabilityforlineartemporallogic-2006","role":"author","urls":{"Link":"http://eccc.hpi-web.de/eccc-reports/2006/TR06-153/index.html","Paper":"http://dblp.uni-trier.de/db/journals/eccc/eccc13.html#BaulandSSSV06"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"search_terms":["complexity","generalized","satisfiability","linear","temporal","logic","bauland","schneider","schnoor","schnoor","vollmer"],"keywords":["dblp"],"authorIDs":[],"dataSources":["hFysW8E5JHW8bNdoX","i8SRmtQi2JMEkzH9M"]}