Inflationary and Deflationary Fixed Points (Invited Talk)

Erich Grädel. Inflationary and Deflationary Fixed Points (Invited Talk). In Zoltán Ésik, Igor Walukiewicz, editors, FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003. pages 37-41, University of Warsaw, 2003. [doi]

Abstract

Abstract is missing.