Search - Recent Trends in Algebraic Development Techniques Access content directly

Filter your results

10 results
Contributor/author Internal identifier : 200187
Page :
sorted by
Image document

Parameterized Strategies Specification in Maude

 Rubén Rubio , Narciso Martí-Oliet , Isabel Pita , Alberto Verdejo
24th 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
Image document

Structuring Theories with Implicit Morphisms

 Florian Rabe , Dennis Müller
24th 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

Recent Trends in Algebraic Development Techniques

 José Fiadeiro , Ionuț Țuțu
Springer International Publishing, LNCS-11563, 2019, Lecture Notes in Computer Science, 978-3-030-23219-1. ⟨10.1007/978-3-030-23220-7⟩
Books hal-02364573v1
Image document

An Algebraic Theory for Data Linkage

 Liang-Ting Chen , Markus Roggenbach , John V. Tucker
24th 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
Image document

Finite Limits and Anti-unification in Substitution Categories

 Wolfram Kahl
24th 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
Image document

Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories

 Jens Kosiol , Lars Fritsche , Nebras Nassar , Andy Schürr , Gabriele Taentzer
24th 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
Image document

A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs

 Wolfram Kahl , Yuhang Zhao
24th 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
Image document

Institutions for SQL Database Schemas and Datasets

 Martin Glauer , Till Mossakowski
24th 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
Image document

Term Charters

 Alexander Knapp , María Victoria Cengarle
24th 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
Image document

Role-Based Development of Dynamically Evolving Esembles

 Rolf Hennicker
24th 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
Page :