Proving modal properties of rewrite theories using Maude's metalevel
ISSN: 1571-0661
Argitalpen urtea: 2005
Alea: 137
Zenbakia: 1
Orrialdeak: 133-150
Mota: Biltzar ekarpena
ISSN: 1571-0661
Argitalpen urtea: 2005
Alea: 137
Zenbakia: 1
Orrialdeak: 133-150
Mota: Biltzar ekarpena