On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic
Thomas Eiter and Georg Gottlob
Details
| Journal |
J. Symb. Log. |
| Number |
1 |
| Pages |
73−82 |
| Volume |
63 |
| Year |
1998 |
Links
Related pages
|
People |