当前位置: X-MOL 学术J. Log. Algebr. Methods Program. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Preface to the special issue on the 11th International Conference on Graph Transformation
Journal of Logical and Algebraic Methods in Programming ( IF 0.9 ) Pub Date : 2020-01-24 , DOI: 10.1016/j.jlamp.2020.100525
Leen Lambers , Jens Weber

This special issue contains extended versions of four selected papers from the 11th International Conference on Graph Transformation (ICGT 2018). The articles cover a tool for computing core graphs via SAT/SMT solvers (graph language definition), graph transformation through graph surfing in reaction systems (a new graph transformation formalism), the essence and initiality of conflicts in M-adhesive transformation systems, and a calculus of concurrent graph-rewriting processes (theory on conflicts and parallel independence).



中文翻译:

第十一届国际图变换会议特刊的序言

本期特刊包含来自第11届国际图转换大会(ICGT 2018)的四篇论文的扩展版本。文章涵盖了通过SAT / SMT求解器计算核心图形的工具(图形语言定义),通过在反应系统中进行图形浏览进行图形转换(一种新的图形转换形式主义),冲突的本质和初始性。中号-粘性转换系统和并发图形重写过程的微积分(有关冲突和并行独立性的理论)。

更新日期:2020-01-24
down
wechat
bug