Term rewrting systems
- 著者名:
- Klop, J.W. ( Centrum voor Wiskunde en Informatica )
- 掲載資料名:
- NASA Technical Reports
- 発行年:
- 1990
- 通号:
- N91-25672
- ペーパー番号:
- N91-25672
- 開始ページ:
- 1
- 終了ページ:
- 135
- 総ページ数:
- 135
- 出版情報:
- National Aeronautics and Space Adminstration
- 言語:
- 英語
- 資料種別:
- テクニカルペーパー
類似資料:
National Aeronautics and Space Adminstration |
National Aeronautics and Space Adminstration |
National Aeronautics and Space Adminstration |
National Aeronautics and Space Adminstration |
National Aeronautics and Space Adminstration |
Society of Automotive Engineers |
National Aeronautics and Space Adminstration |
National Aeronautics and Space Adminstration |
5
テクニカルペーパー
An infinitary Church-rosser property for non-collapsing prthogonal term rewriting systems
National Aeronautics and Space Adminstration |
Society of Automotive Engineers |
National Aeronautics and Space Administration |
National Aeronautics and Space Adminstration |