Search results for: Nachum Dershowitz
Applied Mathematics and Computation > 2009 > 215 > 4 > 1323-1339
Applied Mathematics and Computation > 2006 > 178 > 1 > 44-57
Electronic Notes in Theoretical Computer Science > 2006 > 135 > 3 > 15-23
Applied Mathematics and Computation > 2009 > 215 > 4 > 1323-1339
Applied Mathematics and Computation > 2006 > 178 > 1 > 44-57
Electronic Notes in Theoretical Computer Science > 2006 > 135 > 3 > 15-23