共 50 条
- [2] Two-variable word equations RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2000, 34 (06): : 467 - 501
- [4] Two-variable word equations STACS 2000: 17TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECT OF COMPUTER SCIENCE, 2000, 1770 : 122 - 132
- [10] Undecidability results on two-variable logics Archive for Mathematical Logic, 1999, 38 : 313 - 354