A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, Septem- ber 25-29, 2006, Proceedings, volume 4207 of Lecture Notes in Computer Sci- ... In Ralph Matthes and Matteo Mio, editors, Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., volume 191 of EPTCS, pages 48 ...doi:10.14232/actacyb.23.1.2017.23 fatcat:tpgf7t2sgfdsriwvebwyce3lr4
The conference received support from the Technical University Berlin, from the European Association for Computer Science Logic (EACSL) and from the Deutsche Forschungsgemeinschaft (DFG). ... x Preface Christoph Dittmann, Jana Pilz, Roman Rabinovich and Sebastian Siebertz, for their proactive, thoughtful, reliable and energetic help in organising CSL 2015. ... Preface The annual conference Computer Science Logic (CSL 2015) of the European Association for Computer Science Logic (EACSL) was held in Berlin, Germany, from 7 to 10 September 2015. ...fatcat:rd3en5y7zvht5cqwtdr5fkkm2y
The step-by-step approach can be opposed to previous algorithms solving the nonemptiness problem "in one step", being compulsorily more complicated. ... In Stephan Kreutzer, editor, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, volume 41 of LIPIcs, pages 229-243. ... In 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pages 81-90. ...arXiv:2009.08174v1 fatcat:6tul6byghnbkfo45swdkmitaue
In this paper, we provide an effective characterization of all the subgame-perfect equilibria in infinite duration games played on finite graphs with mean-payoff objectives. ... In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, volume 41 of LIPIcs, pages 504-518. ... Springer, 2017. 7 In Foundations of Software Science and Computation Structures -20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of ...arXiv:2101.10685v2 fatcat:djy33eysyfgh7jufu26ljqeckq