Art
J-GLOBAL ID：201802220388784595   Reference number：18A0340210

Kleisli, Parikh and Peleg compositions and liftings for multirelations

Kleisli,ParikhとPeleg組成および多重関係のためのリフティング【Powered by NICT】
Author (4)：
Furusawa Hitoshi

About Furusawa Hitoshi

(Department of Mathematics and Computer Science, Kagoshima University, Japan)

About Department of Mathematics and Computer Science, Kagoshima University, Japan

, 
Kawahara Yasuo

About Kawahara Yasuo

(Kyushu University, Japan)

About Kyushu University, Japan

, 
Struth Georg

About Struth Georg

(Department of Computer Science, The University of Sheffield, United Kingdom)

About Department of Computer Science, The University of Sheffield, United Kingdom

, 
Tsumagari Norihiro

About Tsumagari Norihiro

(Center for Education and Innovation, Sojo University, Japan)

About Center for Education and Innovation, Sojo University, Japan


Material：
Journal of Logical and Algebraic Methods in Programming  (J Log Algebr Method Program)

About Journal of Logical and Algebraic Methods in Programming


Volume： 90  Page： 84-101  Publication year： 2017 
JST Material Number： W1593A  ISSN： 2352-2208  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  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.
Multirelations provide a seman...
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=18A0340210&from=J-GLOBAL&jstjournalNo=W1593A") }}
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.
*multiplex

About multiplex

, 
semantics

About semantics

, 
computer system (hardware)

About computer system (hardware)

, 
nondeterminism

About nondeterminism


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 モナド

, 【Automatic Indexing@JST】
Author keywords (4)：
Algebras of multirelations

About Algebras of multirelations

, 
Liftings of multirelations

About Liftings of multirelations

, 
Associativity of compositions of multirelations

About Associativity of compositions of multirelations

, 
Relational calculus

About Relational calculus

JST classification (1)：
JST classification
Category name(code) classified by JST.
Artificial intelligence 
(JE08000Z)

About Artificial intelligence

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
組成

About 組成

, 
多重

About 多重

, 
リフティング

About リフティング


Return to Previous Page

TOP

BOTTOM