Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning by Samuel R. Buss, Jan Hoffmann, Jan Johannsen

Get full text

Laser beam powder bed fusion of novel biomedical titanium/niobium/tantalum alloys: Powder synthesis, microstructure evolution and mechanical properties by Jan Johannsen, Christian Lauhoff, Melanie Stenzel, Christoph Schnitter, Thomas Niendorf, Markus Weinmann

Get full text

Advanced Ti–Nb–Ta Alloys for Bone Implants with Improved Functionality by Jan-Oliver Sass, Marie-Luise Sellin, Elisa Kauertz, Jan Johannsen, Markus Weinmann, Melanie Stenzel, Marcus Frank, Danny Vogel, Rainer Bader, Anika Jonitz-Heincke

Get full text