![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Logical and Algebraic Methods in Programming, Volume 114
Volume 114, August 2020
- Russ Harmer
, Eugenia Oshurko
:
Knowledge representation and update in hierarchies of graphs. 100559
- Monika Kapus-Kolar:
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels. 100560
- Xin Zhao, Philipp Haller:
Replicated data types that unify eventual consistency and observable atomic consistency. 100561
- Matthias Barkowsky
, Holger Giese:
Hybrid search plan generation for generalized graph pattern matching. 100563 - Nebras Nassar
, Jens Kosiol
, Thorsten Arendt
, Gabriele Taentzer
:
Constructing optimized constraint-preserving application conditions for model transformation rules. 100564
![](https://dblp.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.