![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Journal of Logic and Algebraic Methods in Programming, Volume 106
Volume 106, August 2019
- Mahsa Varshosaz, Lars Luthmann
, Paul Mohr
, Malte Lochau
, Mohammad Reza Mousavi:
Modal transition system encoding of featured transition systems. 1-28
- Jingzhi Zhang, Guohui Wang
, Zhiping Shi, Yong Guan, Yongdong Li:
Formalization of functional variation in HOL Light. 29-38
- Dan R. Ghica
, Khulood AlYahya:
Latent semantic analysis of game models using LSTM. 39-54
- A. K. McIver
, Carroll C. Morgan, T. M. Rabehaja:
Program algebra for quantitative information flow. 55-77
- Luca Aceto, Ignacio Fábregas
, Carlos Gregorio-Rodríguez
, Anna Ingólfsdóttir:
Logical characterisations, rule formats and compositionality for input-output conformance simulation. 78-106 - Zhongxi Zhang
, Qingguo Li:
A uniform approach to completions of posets. 107-116
- Sonja Smets
, Fernando R. Velázquez-Quesada
:
A logical study of group-size based social network creation. 117-140 - José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes
, Dusko Pavlovic
:
Logics for Actor Networks: A two-stage constrained-hybridisation approach. 141-166
- Fernando Macías
, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría:
Multilevel coupled model transformations for precise and reusable definition of model behaviour. 167-195
- Philipp Haller, Vasco Thudichum Vasconcelos:
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. 196-197
- Peter Höfner, Damien Pous, Georg Struth:
Relational and algebraic methods in computer science. 198-199
![](https://dblp.org/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.