Publikationen

Richard Wilke

2020

  • M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) (M. Fernández and A. Muscholl, Eds.), vol. 152 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 25:1–25:16, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2020.             

2019

  • M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. arXiv e-prints, pp. arXiv:1910.06057, 2019.