Spectra of monadic second-order formulas with one unary function.
| Autor: | Gurevich, Y., Shelah, S. |
|---|---|
| Zdroj: | Proceedings of the 18th Annual IEEE Symposium of Logic in Computer Science, 2003; 2003, p291-300, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|