共 50 条
- [22] On the structure of the simulation order of proof systems MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002, 2002, 2420 : 581 - 592
- [25] Validity Proof of Complex Simulation Models. Angewandte Informatik, Applied Informatics, 1983, 25 (04): : 149 - 157
- [27] Lower Bound Techniques for QBF Proof Systems 35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018), 2018, 96
- [29] APPLICATION OF FAST-TIME SIMULATION TECHNIQUES TO STUDY OF ATC SYSTEMS AERONAUTICAL JOURNAL, 1971, 75 (732): : 839 - &