|
Journals in DBLP
Inf. Comput. 2004, volume: 188, number: 2
- Manfred Schmidt-Schauß
Decidability of bounded second order unification. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:188, n:2, pp:143-178 [Journal]
- Francesca Levi, Sergio Maffeis
On abstract interpretation of Mobile Ambients. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:188, n:2, pp:179-240 [Journal]
- Carsten Führmann, Hayo Thielecke
On the call-by-value CPS transform and its semantics. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:188, n:2, pp:241-283 [Journal]
|