United Kingdom (GB)

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 Keim: A toolkit for automated deduction (1994) Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J Conference contribution, Original article A mechanization of strong Kleene logic for partial functions (1994) Kerber M, Kohlhase M Conference contribution, Original article Adapting methods to novel tasks in proof planning (1994) Huang X, Kerber M, Kohlhase M, Richts J Conference contribution, Original article VIBRATIONS OF HYDROGEN-BONDS IN HYDROGENDISULFITO AND HYDROGENSULFITO COMPLEXES (1992) Breitinger D, Breiter R, Raidel M, Bauer G, Tomkinson J Journal article, Original article