Skip to main content

Expressive Equivalence of Least and Inflationary Fixed−Point Logic

S. Kreutzer

Book Title
Proc. of the 17th Symp. on Logic in Computer Science (LICS)
Pages
403 – 413
Year
2002