共 50 条
- [22] An alternative two-variable model for bending problems of multilayered beams JOURNAL OF APPLIED MECHANICS-TRANSACTIONS OF THE ASME, 2008, 75 (04): : 0445031 - 0445033
- [23] A two-variable silicon neuron circuit based on the Izhikevich model PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL SYMPOSIUM ON ARTIFICIAL LIFE AND ROBOTICS (AROB 16TH '11), 2011, : 338 - 341
- [25] A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
- [27] Undecidability results on two-variable logics Archive for Mathematical Logic, 1999, 38 : 313 - 354