Skip to main content

Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Stephan Kreutzer

Journal
Annals of Pure and Applied Logic
Note
LICS 2002 Selected Paper Issue
Number
1−3
Pages
61–78
Volume
130
Year
2004