![](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 125
Volume 125, February 2022
- Mario Roberto Folhadela Benevides
, Alexandre Madeira
, Manuel A. Martins
:
Graded epistemic logic with public announcement. 100732
- Shukun Tokas, Olaf Owe
, Toktam Ramezanifarkhani:
Static checking of GDPR-related privacy compliance for object-oriented distributed systems. 100733
- Dexter Kozen, Matvey Soloviev:
Coalgebraic tools for randomness-conserving protocols. 100734
- Kai Bavendiek
, Sibylle Schupp:
A process calculus for privacy-preserving protocols in location-based service systems. 100735
- José Carlos Bacelar Almeida
, Manuel Barbosa
, Gilles Barthe, Hugo Pacheco
, Vitor Pereira
, Bernardo Portela
:
A formal treatment of the role of verified compilers in secure computation. 100736
- Samuel Huang, Rance Cleaveland
:
A tableau construction for finite linear-time temporal logic. 100743
- Adam D. Barwell
, Francisco Ferreira
, Nobuko Yoshida
:
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce. 100744
- Walid Belkhir
, Nicolas Ratier
, Duy Duc Nguyen, Michel Lenczner
:
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points. 100746
![](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.