Existential Second−Order Logic over Strings
Thomas Eiter‚ Georg Gottlob and Yuri Gurevich
Details
| Book Title |
LICS |
| Pages |
16−27 |
| Year |
1998 |
Links
Related pages
|
People |
Thomas Eiter‚ Georg Gottlob and Yuri Gurevich
| Book Title |
LICS |
| Pages |
16−27 |
| Year |
1998 |
|
People |