Will Deflation Lead to Depletion? On Non−Monotone Fixed−Point Inductions
E. Grädel and S. Kreutzer
Details
| Book Title |
IEEE Symp. of Logic in Computer Science (LICS) |
| Year |
2003 |
Links
Related pages
|
People |