DMCA

Undecidability Results on Two-Variable Logics (1998)

Cached

Download Links

by Erich Grädel , Martin Otto , Eric Rosen
Venue:IN PROCEEDINGS OF 14TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE STACS`97, LECTURE NOTES IN COMPUTER SCIENCE NR. 1200
Citations:35 - 5 self