Art
J-GLOBAL ID：201602252483458969   Reference number：16A1365742

Church-Rosser Theorem and Compositional Z-Property

チャーチ・ロッサーの定理と合成的Z-特性
Author (2)：
FUJITA Ken-etsu

About FUJITA Ken-etsu

(Gunma Univ.)

About Gunma Univ.

, 
NAKAZAWA Koji

About NAKAZAWA Koji

(Nagoya Univ.)

About Nagoya Univ.


Material：
日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))

About 日本ソフトウェア科学会大会講演論文集(CD-ROM)


Volume： 33rd  Page： ROMBUNNO.PPL5-2  Publication year： 2016 
JST Material Number： X0080B  ISSN： 1348-0901  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*term rewriting system

About term rewriting system

, 
*programming language

About programming language

, 
equational logic

About equational logic

, 
lamda calculation

About lamda calculation

, 
rewriting rule

About rewriting rule

, 
normalization

About normalization

, 
computational complexity

About computational complexity

, 
reduction (computer)

About reduction (computer)


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*term rewriting system

About term rewriting system

, 
monotonicity

About monotonicity


JST classification (2)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

,  General-purpose programming language 
(JD03051H)

About General-purpose programming language

Terms in the title (1)：
Terms in the title
Keywords automatically extracted from the title.
定理

About 定理


Return to Previous Page

TOP

BOTTOM