![](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 Logic and Algebraic Methods in Programming, Volume 101
Volume 101, December 2018
- Ekaterina Komendantskaya, John Power
:
Logic programming: Laxness and saturation. 1-21
- Rafael Caballero
, Enrique Martin-Martin
, Adrián Riesco
, Salvador Tamarit
:
Declarative debugging of concurrent Erlang programs. 22-41
- Dorel Lucanu
:
Editor's foreword. 42-43 - Gavin Lowe:
Lock-free concurrent binomial heaps. 44-87
- José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral
, Joaquín Borrego-Díaz
, María Magdalena Fernández-Lebrón, María-José Hidalgo-Doblado:
A logic-algebraic tool for reasoning with Knowledge-Based Systems. 88-109
- Maria Maximova, Holger Giese
, Christian Krause:
Probabilistic timed graph transformation systems. 110-131
- Walter Guttmann
:
Verifying minimum spanning tree algorithms with Stone relation algebras. 132-150
- Neville Grech
, Bernd Fischer, Julian Rathke:
Preemptive type checking. 151-181
![](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.