Expressive equivalence of least and inflationary fixed-point logic

Kreutzer, S.

Los Alamitos, Calif. [u.a.] : IEEE Computer Society (2002)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings / 17th Annual IEEE Symposium on Logic in Computer Science : 22 - 25 July, 2002, Copenhagen, Denmark ; held in conjunction with the Third Federated Logic Conference / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Page(s)/Article-Nr.: 403-410


  • Department of Mathematics [110000]
  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]