Blank Cover Image

Transfinite reductions in orthogonal term rewriting systems

著者名:
掲載資料名:
NASA Technical Reports
発行年:
1990
通号:
N91-25720
ペーパー番号:
N91-25720
開始ページ:
1
終了ページ:
51
総ページ数:
51
出版情報:
National Aeronautics and Space Adminstration
言語:
英語
資料種別:
テクニカルペーパー

類似資料:

Kennaway, J.R., Klop, J.W., Sleep, M.R., de Vries, F.J.

National Aeronautics and Space Adminstration

Barager, H.J., Bell, R.L., Day, M.R., Earnest, T.R., Jr., McBride, E.

Society of Automotive Engineers

Kennaway, J.R., Klop, J.W., Sleep, M.R., de Vries, F.J.

National Aeronautics and Space Adminstration

Adams,J.W., Stein,R.A., Leydorf Jr.,G.F., Schrader,M.J.

Society of Automotive Engineering, Inc.

Klop, J.W., Middeldorp, A.

National Aeronautics and Space Adminstration

BERGSTRA, J.A., KLOP, J.W.

National Aeronautics and Space Administration

4 テクニカルペーパー Term rewrting systems

Klop, J.W.

National Aeronautics and Space Adminstration

Overcash, M.R., Sutherland, J.W.

Society of Manufacturing Engineers

5 テクニカルペーパー Extended term rewrlting systems

Klop, J.W., de Vrijer, R.C.

National Aeronautics and Space Adminstration

Bol, R.N., Apt, K.R., Klop, J.W.

National Aeronautics and Space Adminstration

6 テクニカルペーパー TERM REWRITING SYSTEMS WITH PRIORITIES.

Baeten, J.C.M.

National Aeronautics and Space Administration

12 テクニカルペーパー On the safe termination of PROLOG programs

Apt, K.R., Bol, R.N., Klop, J.W.

National Aeronautics and Space Adminstration

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12