![](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 111
Volume 111, February 2020
- Ismael Rodríguez
, Fernando Rosa-Velardo
, Fernando Rubio
:
Introducing complexity to formal testing. 100502
- Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese
, Francesco Tiezzi:
A formal approach to the engineering of domain-specific distributed systems. 100511
- Paul Downen
, Philip Johnson-Freyd
, Zena M. Ariola:
Abstracting models of strong normalization for classical calculi. 100512 - Francisco Durán, José Meseguer, Camilo Rocha
:
Ground confluence of order-sorted conditional specifications modulo axioms. 100513
- Mario R. F. Benevides, Alexandre Madeira
:
DaLí - Dynamic Logic, new trends and applications. 100514
- Luca Aceto, Antonis Achilleos
, Adrian Francalanza
, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
Determinizing monitors for HML with recursion. 100515
![](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.