Publications of in 2021

Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. Fixpoint theory – upside down. In Proc. of FOSSACS '21, pages 62–81. Springer, 2021. LNCS/ARCoSS 12650.
Info
© University of Duisburg-Essen, Theoretical Computer Science group