A decidable subclass of term rewriting systems which effectively preserve recognizability, 要旨

A decidable subclass of term rewriting systems which effectively preserve recognizability, 要旨

Toshinori Takai

生駒 : 奈良先端科学技術大学院大学, 2002.3

学位論文

この資料には他にも巻号があります。

他の巻号を見る

巻号情報

要旨
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • Abstract

R004576

詳細情報

刊年

2002

別書名

構成的正則保存項書換え系の決定可能な部分クラス

シリーズ名

奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2002年3月

注記

学位記番号: 博第244号

報告番号: 甲第243号

授与年月日: 2002/03/22

学位の種類: 博士(工学)

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

高井, 利憲 (タカイ, トシノリ)

件名

term rewriting system

tree automation

decidability

recognizability

strongly normalizing property