TY - JOUR A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian JF - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.) Y1 - 1996 SN - 3-540-61735-3 N1 - (Lecture notes in computer science ; 1139) SP - 194 EP - 208 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz A1 - Mößle, Andrea A1 - Vogler, Heiko T1 - Implementation of a deterministic partial e-unification algorithm for macro tree transducers JF - Journal of functional and logic programming. 1996 (1996), H. 2 Y1 - 1996 SN - 1080-5230 ER - TY - JOUR A1 - Feuerriegel, Uwe A1 - Stahlberg, R. T1 - Performance of the Thermoselect Demonstration Plant at Fondotoce, Italy: Product Quality and Distribution of Chemical Elements in the Material Flow. Stahlberg, R. ; Feuerriegel, U. JF - Solid waste management: thermal treatment & waste-to-energy technologies : proceedings of an international specialty conference sponsored by the Air & Waste Management Association, [Washington, DC, April 18 - 21, 1995] / comp. by James D. Kilgroe Y1 - 1996 N1 - International Conference on Solid Waste Management, Thermal Treatment and Waste to Energy ; <1995, Washington, DC> PB - Air & Waste Management Assoc. CY - Pittsburgh, Pa. ER - TY - JOUR A1 - Förster, Arnold A1 - Appenzeller, J. A1 - Schroer, C. T1 - Electron interference in a T-shaped quantum transistor based on Schottky-gate technology / J. Appenzeller ; Ch. Schroer ; Th. Schäpers ... A. Förster ... JF - Physical review / B, Condensed matter and materials physics. 53 (1996), H. 15 Y1 - 1996 SN - 1095-3795 SP - 9959 EP - 9963 ER - TY - JOUR A1 - Förster, Arnold A1 - Betko, J. A1 - Morvic, M. A1 - Novak, J. T1 - Hall mobility analysis in low-temperature-grown molecular-beam epitaxial GaAs / J. Betko , M. Morvic ; J. Novák ... A. Förster ... JF - Applied physics letters. 69 (1996), H. 17 Y1 - 1996 SN - 0003-6951 N1 - ISSN der E-Ausg.: 1077-3118 SP - 2563 EP - 2565 ER - TY - JOUR A1 - Förster, Arnold A1 - Darmo, J. A1 - Dubecký, F. A1 - Kordos, P. T1 - Annealing characteristics of native defects in low-temperature-grown MBE GaAs / J. Darmo ; F. Dubecky ; P. Kordos ; A. Förster JF - Semiconducting and insulating materials 1996 : proceedings of the 9th Conference on Semiconducting and Insulating Materials (SIMC '9), April 29 - May 3, 1996, Toulouse, France / [IEEE] Y1 - 1996 SN - 0-7803-3095-1 N1 - 2. ISBN: 0-7803-3179-6 ; Conference on Semiconducting and Insulating Materials <9, 1996, Toulouse> ; Institute of Electrical and Electronics Engineers ; IEEE Cat. No.96CH35881 SP - 67 EP - ff. CY - Piscataway, NJ [u.a.] ER - TY - JOUR A1 - Förster, Arnold A1 - Dekorsy, T. A1 - Kim, A. T. M. T1 - Subpicosecond coherent carrier-phonon dynamics in semiconductor heterostructures / T. Dekorsy ; A. M. T. Kim ; G. C. Cho ... A. Förster JF - Physical review / B, Condensed matter and materials physics. 53 (1996), H. 3 Y1 - 1996 SN - 1095-3795 SP - 1531 EP - 1538 ER - TY - JOUR A1 - Förster, Arnold A1 - Hu, Quing A1 - Verghese, S. T1 - High-frequency (f ~ 1 THz) studies of quantum-effect devices / Qing Hu ; S. Verghese ; R. A. Wyss ... A. Förster JF - Semiconductor science and technology. 11 (1996), H. 12 Y1 - 1996 SN - 1361-6641 SP - 1888 EP - 1894 ER - TY - JOUR A1 - Förster, Arnold A1 - Indlekofer, K. A1 - Lange, J. T1 - Theory of single-electron tunneling in resonant-tunneling diodes including scattering and multiple subbands at finite temperature / K. M. Indlekofer ; J. Lange ; A. Förster ... JF - Physical review / B, Condensed matter and materials physics. 53 (1996), H. 11 Y1 - 1996 SN - 1095-3795 SP - 7392 EP - 7402 ER - TY - JOUR A1 - Förster, Arnold A1 - Klemradt, U. A1 - Funke, M. A1 - Fromm, M T1 - Growth-induced interface roughness of GaAs/AlAs-layers studied by X-ray scattering under grazing angles / U. Klemradt ; M. Funke ; M. Fromm ... A Förster JF - Physica B: condensed matter. 221 (1996), H. 1-4 Y1 - 1996 SN - 0921-4526 SP - 27 EP - 33 ER -