![](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 126
Volume 126, April 2022
- Vivek Nigam
, Carolyn L. Talcott:
Automated construction of security integrity wrappers for Industry 4.0 applications. 100745 - Steven Eker
:
Associative unification in Maude. 100747
- Jelle Hellings, Yuqing Wu, Marc Gyssens
, Dirk Van Gucht:
The power of Tarski's relation algebra on trees. 100748 - Salvador Lucas
, Miguel Vítores, Raúl Gutiérrez:
Proving and disproving confluence of context-sensitive rewriting. 100749
- Richard L. Kramer, Roger D. Maddux
:
Monk algebras and Ramsey theory. 100759
![](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.