Art
J-GLOBAL ID：202002218143940583   Reference number：20A0078162

How to prove decidability of equational theories with second-order computation analyser SOL

二次計算分析器SOLによる等式理論の決定可能性を証明する方法【JST・京大機械翻訳】
Author (1)：
HAMANA MAKOTO

About HAMANA MAKOTO

(Gunma University, Kiryu, Gunma, Japan (e-mail: hamana@cs.gunma-u.ac.jp))

About Gunma University, Kiryu, Gunma, Japan (e-mail: hamana@cs.gunma-u.ac.jp)


Material：
Journal of Functional Programming  (J Funct Program)

About Journal of Functional Programming


Volume： 29  Page： e20  Publication year： 2019 
JST Material Number： W1589A  ISSN： 0956-7968  Document type： Article
Article type： 原著論文  Country of issue： United Kingdom (GBR)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary 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.
Abstract: We present a general...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0078162&from=J-GLOBAL&jstjournalNo=W1589A") }}
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.
coherence

About coherence

, 
programming language

About programming language

, 
normalization

About normalization

, 
analytical instrument

About analytical instrument

, 
semantics

About semantics

, 
video recorder

About video recorder

, 
*algebra

About algebra


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.
モノイド

About モノイド

, 
モナド

About モナド

, 
構文

About 構文

, 
Haskell

About Haskell

, 
*決定可能性

About 決定可能性

, 
*等式理論

About 等式理論

, 【Automatic Indexing@JST】
JST classification (2)：
JST classification
Category name(code) classified by JST.
Computer system development 
(JD02010R)

About Computer system development

,  Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
計算

About 計算

, 
分析器

About 分析器

, 
等式理論

About 等式理論

, 
決定可能性

About 決定可能性

, 
証明

About 証明


Return to Previous Page

TOP

BOTTOM