Expressive equivalence of least and inflationary fixed-point logic
Kreutzer, S.
Los Alamitos, Calif. [u.a.] : IEEE Computer Society (2002)
Buchbeitrag, Beitrag zu einem Tagungsband
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
Seite(n)/Artikel-Nr.: 403-410
Identifikationsnummern
- DOI: 10.1109/LICS.2002.1029848
- RWTH PUBLICATIONS: RWTH-CONV-188962