CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Semantics of the infinistic rules of proof Article
Journal of Symbolic Logic, 121-138.January 1976
-
De eindige elementenmethode voor het discretiseren van elliptische randwaardeproblemen In Proceedings
January 1976
-
Gewogen residuemethoden Book Chapter
January 1976
-
Oplossen van tweepunts randwaardeproblemen Article
Mathematisch Centrum Syllabus, 101-142.January 1976
-
Exercises in denotational semantics In Proceedings
January 1976
-
On the numerical evaluation of the ordinary bessel function of the second kind Article
Journal of Computational Physics, 21(3), 343-350.January 1976
-
Remarks on a paper of A. Erdélyi: "Asymptotic evaluation of integrals involving a fractional derivative" Article
SIAM Journal on Mathematical Analysis, 7(5), 767-770.January 1976
-
A universal isomorphism of p-typical formal groups and operations in Brown-Peterson cohomology Article
Indagationes Mathematicae, 195-199.January 1976