Blank Cover Image

An infinitary Church-rosser property for non-collapsing prthogonal term rewriting systems

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

類似資料:

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

National Aeronautics and Space Adminstration

Debakker, J.W.

National Aeronautics and Space Administration

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

National Aeronautics and Space Adminstration

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

Baeten, J.C.M.

National Aeronautics and Space Administration

Klop, J.W., Middeldorp, A.

National Aeronautics and Space Adminstration

Ponse, A., de Vries, F.-J.

National Aeronautics and Space Adminstration

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

Klop, J.W.

National Aeronautics and Space Adminstration

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

Society of Automotive Engineering, Inc.

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

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

National Aeronautics and Space Adminstration

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

National Aeronautics and Space Administration

DEBAKKER, J.W.

National Aeronautics and Space Administration

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

Society of Manufacturing Engineers

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