|
Journals in DBLP
- Fairouz Kamareddine, Roel Bloo
De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:62, n:2, pp:159-189 [Journal]
- Pieter J. L. Cuijpers, Michel A. Reniers
Hybrid process algebra. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:62, n:2, pp:191-245 [Journal]
- Jan A. Bergstra, Inge Bethke
Network algebra in Java. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:62, n:2, pp:247-271 [Journal]
|