Filter your results
- 9
- 9
- 9
- 9
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Parameterized Strategies Specification in Maude24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers
hal-02364577v1
|
||
|
Structuring Theories with Implicit Morphisms24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers
hal-02364570v1
|
||
|
An Algebraic Theory for Data Linkage24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.47-66, ⟨10.1007/978-3-030-23220-7_3⟩
Conference papers
hal-02364574v1
|
||
|
Finite Limits and Anti-unification in Substitution Categories24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.87-102, ⟨10.1007/978-3-030-23220-7_5⟩
Conference papers
hal-02364568v1
|
||
|
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-23220-7_8⟩
Conference papers
hal-02364576v1
|
||
|
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.103-118, ⟨10.1007/978-3-030-23220-7_6⟩
Conference papers
hal-02364572v1
|
||
|
Institutions for SQL Database Schemas and Datasets24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.67-86, ⟨10.1007/978-3-030-23220-7_4⟩
Conference papers
hal-02364575v1
|
||
|
Term Charters24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.119-138, ⟨10.1007/978-3-030-23220-7_7⟩
Conference papers
hal-02364571v1
|
||
|
Role-Based Development of Dynamically Evolving Esembles24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-23220-7_1⟩
Conference papers
hal-02364578v1
|