![](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 113
Volume 113, June 2020
- Giovanni Ciatto, Stefano Mariani, Giovanna Di Marzo Serugendo, Maxime Louvel
, Andrea Omicini
, Franco Zambonelli:
Twenty years of coordination technologies: COORDINATION contribution to the state of art. 100531
- Minxia Luo, Yajing Wang, Ruirui Zhao:
Interval-valued fuzzy reasoning method based on similarity measure. 100541
- Massimo Cairo, Carlo Comin, Romeo Rizzi:
Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks. 100542
- Magne Haveraaen
, Markus Roggenbach
:
Specifying with syntactic theory functors. 100543
![](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.