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

Thesis / Diss.

Send by email

Address

Subject

There are further volumes for this material.

Show other volumes

Volume No.

要旨
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • Abstract

R004576

Send by email

Address

Subject

Details

Publication year

2002

Alternative title

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

Series title

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

Note

学位記番号: 博第244号

報告番号: 甲第243号

授与年月日: 2002/03/22

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

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

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

Subject

term rewriting system

tree automation

decidability

recognizability

strongly normalizing property

Edit bookmark

Select list

Memo

Select list

Add to bookmark

Select list

Not specified

Memo