![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
24th WADT 2018: Egham, UK
- José Luiz Fiadeiro, Ionut Tutu:
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11563, Springer 2019, ISBN 978-3-030-23219-1
Invited Talk
- Rolf Hennicker:
Role-Based Development of Dynamically Evolving Esembles. 3-24
Survey Papers
- Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Parameterized Strategies Specification in Maude. 27-44
Contributed Papers
- Liang-Ting Chen
, Markus Roggenbach, John V. Tucker:
An Algebraic Theory for Data Linkage. 47-66 - Martin Glauer, Till Mossakowski
:
Institutions for SQL Database Schemas and Datasets. 67-86 - Wolfram Kahl
:
Finite Limits and Anti-unification in Substitution Categories. 87-102 - Wolfram Kahl
, Yuhang Zhao:
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs. 103-118 - Alexander Knapp, María Victoria Cengarle:
Term Charters. 119-138 - Jens Kosiol
, Lars Fritsche
, Nebras Nassar
, Andy Schürr
, Gabriele Taentzer
:
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories. 139-153 - Florian Rabe
, Dennis Müller
:
Structuring Theories with Implicit Morphisms. 154-173
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.