![](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 136
Volume 136, January 2024
- Rodrigo Raya
, Viktor Kuncak:
On algebraic array theories. 100906
- Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
:
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. 100907
- Jens Kosiol
, Stefan John, Gabriele Taentzer:
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework. 100909
- Luc Edixhoven
, Sung-Shik Jongmans, José Proença
, Ilaria Castellani:
Branching pomsets: Design, expressiveness and applications to choreographies. 100919
- Yuanrui Zhang
, Zhiming Liu:
A dynamic logic with branching modalities. 100921
- Ichiro Hasuo
, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata:
Control-data separation and logical condition propagation for efficient inference on probabilistic programs. 100922
- Giacomo Maletto, Luca Roversi
:
Certifying expressive power and algorithms of reversible primitive permutations with Lean. 100923 - Clément Aubert
:
The correctness of concurrencies in (reversible) concurrent calculi. 100924 - Davide Della Giustina, C. Londero, Carla Piazza, Brian Riccardi
, Riccardo Romanello
:
Quantum encoding of dynamic directed graphs. 100925
- Salvador Lucas
:
Local confluence of conditional and generalized term rewriting systems. 100926
- Abdelkrim Abdelli
:
Time distance-based computation of the DBM over-approximation of preemptive real-time systems. 100927
- Francisco Durán
, Nicolás Pozas, Camilo Rocha:
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. 100928
![](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.