Publication
-
January 1979
-
January 1979
-
Recursive assertions are not enough -- or are they? Article
Theoretical Computer Science, 73-87.January 1979 -
January 1979
-
January 1979
-
January 1979
-
January 1979
-
The asymptotic expansion of the incomplete gamma functions Article
SIAM Journal on Mathematical Analysis, 10(4), 757-766.January 1979