Blank Cover Image

Sequentiality in orthogonal term rewriting systems

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

類似資料:

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

National Aeronautics and Space Adminstration

Middeldorp, A.

National Aeronautics and Space Adminstration

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

Klop, J.W.

National Aeronautics and Space Adminstration

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

Baeten, J.C.M.

National Aeronautics and Space Administration

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

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

National Aeronautics and Space Adminstration

10 テクニカルペーパー SEMANTICS FOR PROLOG VIA TERM REWRITE SYSTEMS.

BAETEN, J. C. ET AL

National Aeronautics and Space Administration

Middeldorp, Aart.

National Aeronautics and Space Adminstration

Koopman, P.W.M., van Eekelen, M.C.J.D., Noecker, E.G.J.M.H., Smetsers, J.E.W., Plasmeijer, M.J.

National Aeronautics and Space Adminstration

6 テクニカルペーパー 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

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