Termination, AC-termination and dependency pairs of term rewriting systems

著者

• 草刈, 圭一朗 クサカリ, ケイイチロウ

書誌事項

Termination, AC-termination and dependency pairs of term rewriting systems

by Keiichirou Kusakari

Keiichirou Kusakari, 2000.3

注記

Thesis (doctoral)--Japan Advanced Institute of Science and Technology, 2000, 博情第68号

詳細情報

• NII書誌ID(NCID): BA50280467
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Tatsunokuchi-machi, Ishikawa]
• ページ数/冊数: ii, 76 leaves
• 大きさ: 30 cm