Inflationary Fixed Points in Modal Logics
Anuj Dawar‚ Erich Grädel and Stephan Kreutzer
Details
| Journal |
ACM Transactions on Computational Logic (TOCL |
| Number |
2 |
| Pages |
282 − 315 |
| Volume |
5 |
| Year |
2004 |
Links
Related pages
|
People |