Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Bibliographic Details
Main Author: Kreutzer, S
Format: Conference item
Published: 2002