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
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.