Efficient local unfolding with ancestor stacks
- Puebla, G.
- Albert, E.
- Hermenegildo, M.
ISSN: 1471-0684, 1475-3081
Argitalpen urtea: 2011
Alea: 11
Zenbakia: 1
Orrialdeak: 1-32
Mota: Artikulua
ISSN: 1471-0684, 1475-3081
Argitalpen urtea: 2011
Alea: 11
Zenbakia: 1
Orrialdeak: 1-32
Mota: Artikulua