共 50 条
- [43] DEFINABILITY AND UNDECIDABILITY [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (01): : 81 - &
- [48] On the discontinuous yielding phenomena observed in a Nb-Ti-Al alloy [J]. INTERMETALLICS, 1998, 6 (7-8) : 749 - 752
- [50] Decidable and Undecidable Problems for First-Order Definability and Modal Definability [J]. LANGUAGE, LOGIC, AND COMPUTATION, 2022, 13206 : 214 - 236