Expressive Equivalence of Least and Inflationary Fixed−Point Logic
S. Kreutzer
Details
| Book Title |
Proc. of the 17th Symp. on Logic in Computer Science (LICS) |
| Pages |
403 – 413 |
| Year |
2002 |
Links
Related pages
|
People |