United Kingdom (GB)

Wild Cantor attractors exist (1996) Bruin HP, Keller G, Nowicki T, van Strien S Journal article, Original article Integrating computer algebra with proof planning (1996) Kerber M, Kohlhase M, Sorge V Conference contribution, Original article The proof development environment Ω-MKRP (1996) Huang X, Kerber M, Kohlhase M, Melis E, Richts J, Siekmann J Journal article, Original article Sheet Metal 1996: proceedings of the 4th International conference (1996) Kals H, Shirvani B, Singh U, Geiger M Edited Volume Analysis and Finite Element Approximation of Transport of Reactive Solutes in Porous Media (1995) Barrett JW, Knabner P Conference contribution DIFFERENT PATTERNS OF HYPERALGESIA INDUCED BY EXPERIMENTAL INFLAMMATION IN HUMAN SKIN (1994) Kilo S, Schmelz M, Koltzenburg M, Handwerker HO Journal article, Original article ETA(3) AND ETA(6) BRIDGING CATIONS IN THE N,N,N',N'',N''-PENTAMETHYLDIETHYLENETRIAMINE-SOLVATED COMPLEXES OF BENZYLPOTASSIUM AND BENZYLRUBIDIUM - AN X-RAY, NMR, AND MO STUDY (1994) Hoffmann D, Bauer W, Hampel F, van Eikema Hommes N, Schleyer P, Otto P, Pieper U, et al. Journal article Lagrange-Galerkin Approximation of Advection-Dominated Nonlinear Contaminant Transport in Porous Media (1994) Knabner P, Barrett JW, Kappmeier H Book chapter / Article in edited volumes Ω-MKRP: A proof development environment (1994) Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J Conference contribution, Original article Interaction between bimodal volcanism, fluvial sedimentation and basin development in the Permo-Carboniferous Saar-Nahe Basin (south-west Germany) (1994) Stollhofen H, Stanistreet IG Journal article, Original article