Filters








4 Hits in 1.6 sec

Publication List of Zoltán Ésik

2017 Acta Cybernetica  
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

LIPIcs-Leibniz International Proceedings in Informatics

Stephan Kreutzer, Stephan Kreutzer, Pascal Weil, Reinhard Wilhelm
unpublished
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

Higher-Order Nonemptiness Step by Step [article]

Paweł Parys
2020 arXiv   pre-print
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

Subgame-perfect Equilibria in Mean-payoff Games [article]

Léonard Brice, Jean-François Raskin, Marie Van Den Bogaard
2021 arXiv   pre-print
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