Art
J-GLOBAL ID：200902097980289627   Reference number：90A0827142

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems.

有限グラウンド項書換えシステムと他の関連する項書換えシステム(TRS)の合流性
Author (4)：
DAUCHET M

About DAUCHET M

(Univ. Lille-Flandres-Artois, Villeneuve, FRA)

About Univ. Lille-Flandres-Artois, Villeneuve, FRA

, 
HEUILLARD T

About HEUILLARD T

(Univ. Paris-Sud, Orsay, FRA)

About Univ. Paris-Sud, Orsay, FRA

, 
LESCANNE P

About LESCANNE P

(Centre de Recherche en Informatique de Nancy, Vandoeuvre-les-Nancy, FRA)

About Centre de Recherche en Informatique de Nancy, Vandoeuvre-les-Nancy, FRA

, 
TISON S

About TISON S

(Univ. Lille-Flandres-Artois, Villeneuve, FRA)

About Univ. Lille-Flandres-Artois, Villeneuve, FRA


Material：
Information and Computation  (Inf Comput)

About Information and Computation


Volume： 88  Issue： 2  Page： 187-201  Publication year： Oct. 1990 
JST Material Number： D0449A  ISSN： 0890-5401  CODEN： INFCEC  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  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.
rewriting rule

About rewriting rule

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=90A0827142&from=J-GLOBAL&jstjournalNo=D0449A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Mathematical linguistics 
(JB05000V)

About Mathematical linguistics

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
グラウンド

About グラウンド

, 
項書換えシステム

About 項書換えシステム

, 
合流性

About 合流性


Return to Previous Page

TOP

BOTTOM