![](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
WRLA 2016: Eindhoven, The Netherlands (Satellite Event of ETAPS 2016)
- Dorel Lucanu:
Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9942, Springer 2016, ISBN 978-3-319-44801-5 - Maribel Fernández
, Hélène Kirchner, Bruno Pinaud
, Jason Vallet:
Labelled Graph Rewriting Meets Social Networks. 1-25 - Salvador Lucas
:
Use of Logical Models for Proving Operational Termination in General Logics. 26-46 - Shiji Bijo, Einar Broch Johnsen
, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Maude Framework for Cache Coherent Multicore Architectures. 47-63 - Yohan Boichut, Vivien Pelletier, Pierre Réty:
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. 64-81 - Yuri Gil Dantas, Marcilio O. O. Lemos
, Iguatemi E. Fonseca, Vivek Nigam:
Formal Specification and Verification of a Selective Defense for TDoS Attacks. 82-97 - Óscar Martín
, Alberto Verdejo
, Narciso Martí-Oliet
:
Egalitarian State-Transition Systems. 98-117 - Antonio Moreno-Delgado, Francisco Durán, José Meseguer:
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. 118-133 - Vlad Rusu, Andrei Arusoaie
:
Proving Reachability-Logic Formulas Incrementally. 134-151 - Traian-Florin Serbanuta, Liviu P. Dinu:
Maximally Parallel Contextual String Rewriting. 152-166 - Stephen Skeirik, José Meseguer:
Metalevel Algorithms for Variant Satisfiability. 167-184
![](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.