Inflationary Fixed Points in Modal Logics
A. Dawar‚ E. Grädel and S. Kreutzer
Details
| Book Title |
Proc. of the 10th Conf. on Computer Science Logic (CSL) |
| Pages |
277–291 |
| Publisher |
#springer# |
| Series |
Lecture Notes in Computer Science |
| Volume |
2142 |
| Year |
2001 |
Links
Related pages
|
People |