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
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.