![](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
Journal of Logical and Algebraic Methods in Programming, Volume 127
Volume 127, June 2022
- Yoshiki Nakamura
:
Expressive power and succinctness of the positive calculus of binary relations. 100760
- Chandrika Bhardwaj
, Sanjiva Prasad
:
Secure information flow connections. 100761
- Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco
, Uemura Yasuyoshi:
Hardware Trojan detection via rewriting logic. 100762
- Olaf Owe
, Elahe Fazeldehkordi:
A lightweight approach to smart contracts supporting safety, security, and privacy. 100772
- Koki Nishizawa, Shin-ya Katsumata
, Yuichi Komorida
:
Stone dualities from opfibrations. 100773
- Edwin J. Beggs
, John V. Tucker:
A model of systems with modes and mode transitions. 100774
- José Espírito Santo
, Luís Pinto
, Tarmo Uustalu
:
Plotkin's call-by-value λ-calculus as a modal calculus. 100775
- Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
:
Towards refinable choreographies. 100776
- Stephanie Balzer, Luca Padovani:
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020. 100777
- Luca Aceto, Antonis Achilleos, Elli Anastasiadi
, Anna Ingólfsdóttir:
Axiomatizing recursion-free, regular monitors. 100778
- Shujun Zhang
, Naoki Nishida
:
Transforming orthogonal inductive definition sets into confluent term rewrite systems. 100779
![](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.