Second Order Logic and the Weak Exponential Hierarchies
Georg Gottlob‚ Nicola Leone and Helmut Veith
Details
| Book Title |
Mathematical Foundations of Computer Science 1995‚ 20th International Symposium‚ MFCS'95‚ Prague‚ Czech Republic‚ August 28 − September 1‚ 1995‚ Proceedings |
| Editor |
Jirí Wiedermann and Petr Hájek |
| ISBN |
3−540−60246−1 |
| Pages |
66−81 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
969 |
| Year |
1995 |
Links
Related pages
|
People |