Blank Cover Image

TERM REWRITING SYSTEMS WITH PRIORITIES.

著者名:
Baeten, J.C.M. ( VRIJE UNIV., AMSTERDAM )  
掲載資料名:
NASA Technical Reports
発行年:
1986
号:
FVI-86-03
ペーパー番号:
N86-33058
開始ページ:
1
終了ページ:
22
総ページ数:
22
出版情報:
National Aeronautics and Space Administration
言語:
英語
資料種別:
テクニカルペーパー

類似資料:

1 テクニカルペーパー Term rewriting analysis in process algebra

Akkerman, G.J., Baeten, J.C.M.

National Aeronautics and Space Adminstration

7 テクニカルペーパー Process algebra with signals and conditions

Baeten, J.C.M., Bergstra, J.A.

National Aeronautics and Space Adminstration

BAETEN, J.C.M.

National Aeronautics and Space Administration

8 テクニカルペーパー Process algebra with a zero object

Baeten, J.C.M., Bergstra, J.A.

National Aeronautics and Space Adminstration

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

BAETEN, J. C. ET AL

National Aeronautics and Space Administration

Baeten, J.C.M., Bergstra, J.A.

National Aeronautics and Space Adminstration

BAETEN, J.C.M.

National Aeronautics and Space Administration

10 テクニカルペーパー Real space process algebra

Baeten, J.C.M., Bergstra, J.A.

National Aeronautics and Space Adminstration

BAETEN, J.C.M.

National Aeronautics and Space Administration

11 テクニカルペーパー An algebra for process creation

Baeten, J.C.M., Vaandrager, F.W.

National Aeronautics and Space Adminstration

6 テクニカルペーパー Real time process algebra

Baeten, J.C.M., Bergstra, J.A.

National Aeronautics and Space Adminstration

Baeten, J.C.M., Bergstra, J.A., Mauw, S., Vettink, G.J.

National Aeronautics and Space Adminstration

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