Existential second−order logic over strings
Thomas Eiter‚ Yuri Gurevich and Georg Gottlob
Details
| Journal |
J. ACM |
| Number |
1 |
| Pages |
77−131 |
| Volume |
47 |
| Year |
2000 |
Links
Related pages
|
People |