Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
a service of 
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.
last updated on 2024-07-10 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
