Towards more efficient loop checks | 東京工業大学附属図書館文献データベース

Blank Cover Image

Towards more efficient loop checks

著者名:: Bol, R.N. ( Centre for Mathematics and Computer Science )
掲載資料名:: NASA Technical Reports
発行年:: 1990
通号:: N91-18653
ペーパー番号:: N91-18653
開始ページ:: 1
終了ページ:: 21
総ページ数:: 21
出版情報:: National Aeronautics and Space Adminstration
言語:: 英語
資料種別:: テクニカルペーパー

詳細

TDL書誌ID:

ZA00001427

類似資料:

1 テクニカルペーパー Loop checking and negation Bol, R.N. National Aeronautics and Space Adminstration	7 テクニカルペーパー Aerothermodynamic analysis of stardust sample return capsule with coupled radiation and ablation Gupta, R.N. American Institute of Aeronautics and Astronautics
2 テクニカルペーパー Loop checking in partial deduction Bol, R.N. National Aeronautics and Space Adminstration	8 テクニカルペーパー NASA's Small Airplane Costs v. Airlines, Autos and the Economic Value of Time. McGrath, R.N. Society of Automotive Engineers
3 テクニカルペーパー Generalizing completeness results for loop checks Bol, R.N. National Aeronautics and Space Adminstration	9 テクニカルペーパー Practical Considerations in Modal Transient Response Analysis and Response Spectrum Superposition Coppolino,R.N. "Society of Automotive Engineering, Inc."
4 テクニカルペーパー An analysis of loop checking mechanisms for logic programs Bol, R.N., Apt, K.R., Klop, J.W. National Aeronautics and Space Adminstration	10 テクニカルペーパー OPTICALLY CONTROLLED GaAs DUAL-GATE MESFET AND PERMEABLE BASE TRANSISTORS Simons, R.N. National Aeronautics and Space Administration
5 テクニカルペーパー The meaning of negative premises in transition system specifications Bol, R.N., Groote, J.F. National Aeronautics and Space Adminstration	11 テクニカルペーパー COMPUTER PROGRAM FOR POST-FLIGHT EVALUATION OF A LAUNCH VEHICLE UPPER-STAGE ON-OFF REACTION CONTROL SYSTEM Knauber, R.N. National Aeronautics and Space Administration
6 テクニカルペーパー On the safe termination of PROLOG programs Apt, K.R., Bol, R.N., Klop, J.W. National Aeronautics and Space Adminstration	12 テクニカルペーパー ANALYSIS OF OPTICALLY CONTROLLED MICROWAVE MILLIMETER WAVE DEVICE STRUCTURES Simons, R.N. National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12