Blank Cover Image

Transfinite reductions in orthogonal term rewrting systems (Extended abstract)

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

類似資料:

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.

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

National Aeronautics and Space Adminstration

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

National Aeronautics and Space Administration

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

Klop, J.W.

National Aeronautics and Space Adminstration

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

Society of Manufacturing Engineers

Klop, J.W., Middeldorp, A.

National Aeronautics and Space Adminstration

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

National Aeronautics and Space Adminstration

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

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

National Aeronautics and Space Adminstration

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

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

National Aeronautics and Space Adminstration

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

Society of Automotive Engineers

Wolcott, M., Olson, J.R.

Society of Automotive Engineers

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