Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Bibliographic Details
Main Author: Kreutzer, S
Format: Journal article
Published: 2004