Search results for: Amr Sabry
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 379-393
Higher-Order and Symbolic Computation > 2009 > 22 > 3 > 233-273
Electronic Notes in Theoretical Computer Science > 2008 > 210 > Complete > 139-152
Electronic Notes in Theoretical Computer Science > 2007 > 170 > Complete > 23-47
Higher-Order and Symbolic Computation > 2007 > 20 > 4 > 403-429
Higher-Order and Symbolic Computation > 2001 > 14 > 4 > 387-409
Electronic Notes in Theoretical Computer Science > 1999 > 26 > Complete > 34-51