共 50 条
- [41] Universal covers, color refinement, and two-variable counting logic: Lower bounds for the depth [J]. 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 689 - 700
- [46] On two-variable rational interpolation [J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2012, 436 (08) : 2889 - 2915
- [48] Undecidability results on two-variable logics [J]. Archive for Mathematical Logic, 1999, 38 : 313 - 354
- [49] Cliquishness and Quasicontinuity of Two-Variable Maps [J]. CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 2013, 56 (01): : 55 - 64
- [50] A two-variable linear programming problem [J]. CSC '05: Proceedings of the 2005 International Conference on Scientific Computing, 2005, : 205 - 216