Termination property of inverse finite path overlapping term rewriting system is decidable (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.5)

Termination property of inverse finite path overlapping term rewriting system is decidable

(AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.5)

国立国会図書館請求記号: M159-B6
国立国会図書館書誌ID: 000003586408

資料種別: 図書

著者: [by]Toshinori Takai, Yuichi Kaji, Hiroyuki Seki

出版者: Collaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology

出版年: 2001.11

資料形態: 紙

ページ数・大きさ等: 22p ; 30cm

NDC: -

すべて見る

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
タイトル: Termination property of inverse finite path overlapping term rewriting system is decidable
著者・編者: [by]Toshinori Takai, Yuichi Kaji, Hiroyuki Seki
シリーズタイトル: AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.5
出版事項: Amagasaki : Collaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology
出版年月日等: 2001.11
出版年（W3CDTF）: 2001
数量: 22p
大きさ: 30cm
並列タイトル等: 有界重なり項書換え系の停止性問題についてユウカイカサナリコウカキカエケイノテイシセイモンダイニツイテ
出版地（国名コード）: JP
本文の言語コード: eng
NDLC: M159
対象利用者: 一般
所蔵機関: 国立国会図書館
請求記号: M159-B6
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000003586408
http://id.ndl.go.jp/bib/000003586408
全国書誌番号: 20404602
目録規則: 日本目録規則1987年版改訂版
整理区分コード: 113