Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)VII-VIII
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
StatePublished - 2015
EventSymposium on Yurifest, 2015 - Berlin, Germany
Duration: 11 Sep 201512 Sep 2015

Cite this