Expressive Equivalence of Least and Inflationary Fixed−Point Logic
Stephan Kreutzer
Details
| Journal |
Annals of Pure and Applied Logic |
| Note |
LICS 2002 Selected Paper Issue |
| Number |
1−3 |
| Pages |
61–78 |
| Volume |
130 |
| Year |
2004 |
Links
Related pages
|
People |