共 50 条
- [31] HIGH DEGREE POLYNOMIAL INTERPOLATION IN NEWTON FORM [J]. SIAM JOURNAL ON SCIENTIFIC AND STATISTICAL COMPUTING, 1991, 12 (03): : 648 - 667
- [32] Two-variable word equations [J]. STACS 2000: 17TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECT OF COMPUTER SCIENCE, 2000, 1770 : 122 - 132
- [33] A polynomial translation from the two-variable guarded fragment with number restrictions to the guarded fragment [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 372 - 384
- [40] Undecidability results on two-variable logics [J]. Archive for Mathematical Logic, 1999, 38 : 313 - 354