Search results for: Mars Valiev
Annals of Pure and Applied Logic > 2006 > 141 > 3 > 336-362
Theoretical Computer Science > 2003 > 303 > 1 > 63-81
Annals of Pure and Applied Logic > 2006 > 141 > 3 > 336-362
Theoretical Computer Science > 2003 > 303 > 1 > 63-81