Art

J-GLOBAL ID：201902269877572442   Reference number：19A1786465

Introducing Symmetry to Graph Rewriting Systems with Process Abstraction

プロセス抽象化によるグラフ書き換えシステムへの対称性の導入【JST・京大機械翻訳】

Author (3)： Tomioka Taichi (Waseda University, Tokyo, Japan) ,  Tsunekawa Yutaro (Waseda University, Tokyo, Japan) ,  Ueda Kazunori (Waseda University, Tokyo, Japan)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 11629  Page： 3-20  Publication year： 2019 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Abstract/Point： Symmetry reduction in model ch...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=19A1786465&from=J-GLOBAL&jstjournalNo=H0078D") }}

Thesaurus term： *symmetry ,  subgraph ,  model checking ,  algorithm ,  Language ,  potentiation ,  soundness ,  interchangeability
Semi thesaurus term： 形式的意味論 ,  構文 ,  モデリング言語 ,  グラフ同型 ,  状態空間 ,  *グラフ書換え , 【Automatic Indexing@JST】

Author keywords (5)： LMNtal ,  Graph rewriting systems ,  Model checking ,  Symmetry reduction ,  Abstraction

JST classification (1)： Artificial intelligence  (JE08000Z)

Terms in the title (4)： プロセス ,  抽象化 ,  グラフ書き換え ,  対称性