首页>外文会议>International workshop on algebraic development techniques

International workshop on algebraic development techniques

召开年：2018
召开地：Egham(GB)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Finite Limits and Anti-unification in Substitution Categories

机译：替代类别中的有限限制和反统一
- 作者：Wolfram Kahl
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
2.A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs

机译：术语图作为有向超图的灵活分类形式化
- 作者：Wolfram Kahl;Yuhang Zhao
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
3.Term Charters

机译：期限宪章
- 作者：Alexander Knapp;Maria Victoria Cengarle
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
4.Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories

机译：在胶粘剂类别中构建保持约束的交互方案
- 作者：Jens Kosiol;Lars Fritsche;Nebras Nassar;Andy Schuerr;Gabriele Taentzer
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
- Algebraic graph transformation;
- Interaction scheme;
- Graph constraints;
- Correctness-by-construction;
- Adhesive categories;
5.Structuring Theories with Implicit Morphisms

机译：用内隐态射构造理论
- 作者：Florian Rabe;Dennis Mueller
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
6.Preface

机译：前言
- 作者：Jose Luiz Fiadeiro;Ionut Tutu
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
7.Role-Based Development of Dynamically Evolving Esembles

机译：基于角色的动态集成开发
- 作者：Rolf Hennicker
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
- Ensemble;
- Distributed system;
- Component;
- Role;
- Dynamic logic;
- Interaction scenario;
- Bisimulation equivalence;
8.Parameterized Strategies Specification in Maude

机译：Maude中的参数化策略规范
- 作者：Ruben Rubied;Narciso Marti-Oliet;Isabel Pita;Alberto Verdejo
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
- Rewriting logic;
- Strategies;
- Maude;
- Parameterized specification;
9.An Algebraic Theory for Data Linkage

机译：数据链接的代数理论
- 作者：Liang-Ting Chen;Markus Roggenbach;John V. Tucker
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
10.Institutions for SQL Database Schemas and Datasets

机译：SQL数据库架构和数据集的机构
- 作者：Martin Glauer;Till Mossakowski
- 会议名称：《International workshop on algebraic development techniques》 | 2018年
- Databases;
- SQL;
- Category theory;
- Institutions;
- Queries;
- Derived signature morphisms;