共 50 条
- [2] First-order stable model semantics and first-order loop formulas [J]. Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
- [3] First-Order Stable Model Semantics and First-Order Loop Formulas [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180
- [5] Validity of the first-order fluid model [J]. JOURNAL OF APPLIED POLYMER SCIENCE, 1999, 73 (04) : 547 - 552
- [6] A first-order superscalar processor model [J]. 31ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, PROCEEDINGS, 2004, : 338 - 349
- [8] First-order model checking problems parameterized by the model [J]. LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 417 - 427
- [10] First-order PMD outage for the hinge model [J]. IEEE PHOTONICS TECHNOLOGY LETTERS, 2005, 17 (06) : 1208 - 1210