![](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 Logic and Algebraic Programming, Volume 62
Volume 62, Number 1, January 2005
- Can Akkan
, Andreas Drexl, Alf Kimms:
Generating two-terminal directed acyclic graphs with a given complexity index by constraint logic programming. 1-39 - Reinhard Stolle, Apollo Hogan, Elizabeth Bradley:
Agenda control for heterogeneous reasoners. 41-69 - John V. Tucker, Jeffery I. Zucker:
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. 71-108 - Fairouz Kamareddine, Roel Bloo:
De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case. 109-131 - Ernst-Erich Doberkat:
The converse of a stochastic relation. 133-154
Volume 62, Number 2, February 2005
- Fairouz Kamareddine, Roel Bloo:
De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case. 159-189 - Pieter J. L. Cuijpers
, Michel A. Reniers:
Hybrid process algebra. 191-245 - Jan A. Bergstra, Inge Bethke:
Network algebra in Java. 247-271
![](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.