![](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 131
Volume 131, February 2023
- José Espírito Santo
, Maria João Frade
, Luís Pinto
:
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications. 100830
- Matthias Barkowsky
, Holger Giese:
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. 100841
- Rabéa Ameur-Boulifa, Ludovic Henrio
, Eric Madelaine:
Compositional equivalences based on open pNets. 100842
- Cinzia Di Giusto, Loïc Germerie Guizouarn
, Étienne Lozes:
Multiparty half-duplex systems and synchronous communications. 100843
- Ilaria Castellani
, Mariangiola Dezani-Ciancaglini
, Paola Giannini:
Event structure semantics for multiparty sessions. 100844 - Jean-Pierre Jouannaud, Fernando Orejas:
Unification of drags and confluence of drag rewriting. 100845
- Niccolò Veltri
, Andrea Vezzosi
:
Formalizing CCS and π-calculus in Guarded Cubical Agda. 100846
![](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.