共 50 条
- [34] Undecidability results on two-variable logics Archive for Mathematical Logic, 1999, 38 : 313 - 354
- [38] Cliquishness and Quasicontinuity of Two-Variable Maps CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 2013, 56 (01): : 55 - 64
- [39] A two-variable linear programming problem CSC '05: Proceedings of the 2005 International Conference on Scientific Computing, 2005, : 205 - 216
- [40] Undecidability results on two-variable logics STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 249 - 260