@article{Fassbender1995, author = {Faßbender, Heinz}, title = {Implementation of a UU-Algorithm for primitive recursive tree functions}, series = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, journal = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60249-6}, pages = {233 -- 242}, year = {1995}, language = {en} } @article{Gerhardt2005, author = {Gerhardt, Hans Joachim}, title = {Design methods of smoke and heat exhaust systems in construction works}, series = {V Mie\&\#796;dzynarodowa Konferencja Bezpiecze\&\#324;stwo Po\&\#380;arowe Budowli, Warszawa-Miedzeszyn, 14 - 16 listopada 2005 r. = : Vth International Conference Fire Safety of Buildings / ITB ... [Ed. Miros\&\#322;aw Kosiorek]}, journal = {V Mie\&\#796;dzynarodowa Konferencja Bezpiecze\&\#324;stwo Po\&\#380;arowe Budowli, Warszawa-Miedzeszyn, 14 - 16 listopada 2005 r. = : Vth International Conference Fire Safety of Buildings / ITB ... [Ed. Miros\&\#322;aw Kosiorek]}, publisher = {ITB}, address = {Warszawa}, isbn = {83-7413-810-6}, pages = {127 -- 140}, year = {2005}, language = {en} } @article{GerhardtKonrathLieb2005, author = {Gerhardt, Hans Joachim and Konrath, B. and Lieb, R.-D.}, title = {Das Drallrohr}, series = {HLH : L{\"u}ftung, Klima, Heizung, Sanit{\"a}r, Geb{\"a}udetechnik. 56 (2005), H. 11}, journal = {HLH : L{\"u}ftung, Klima, Heizung, Sanit{\"a}r, Geb{\"a}udetechnik. 56 (2005), H. 11}, isbn = {1436-5103}, pages = {91 -- 95}, year = {2005}, language = {en} } @article{GerhardtKrueger1997, author = {Gerhardt, Hans Joachim and Kr{\"u}ger, O.}, title = {Building shape influence on local wind loads}, series = {Proceedings of the 2nd European \& African Conference on Wind Engineering : 2 EACWE, Palazzo Ducale, Genova, Italy, June 22-26, 1997 / ed. by Giovanni Solari. - Vol. 2}, journal = {Proceedings of the 2nd European \& African Conference on Wind Engineering : 2 EACWE, Palazzo Ducale, Genova, Italy, June 22-26, 1997 / ed. by Giovanni Solari. - Vol. 2}, publisher = {Servizi Grafici Editoriali}, address = {Padova}, isbn = {88-86281-19-6}, pages = {XIX, S. 1017 - 1998 : Ill., graph. Darst.}, year = {1997}, language = {en} } @book{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification driven leftmost outermost narrowing}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {47 S. : graph. Darst.}, year = {1992}, language = {en} } @book{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions}, publisher = {TU, Fak. Informatik}, address = {Dresden}, pages = {27 S. : graph. Darst.}, year = {1996}, language = {en} } @book{FassbenderGladtzVogler1991, author = {Faßbender, Heinz and Gladtz, Katia and Vogler, Heiko}, title = {Compiler based implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {37 S.}, year = {1991}, language = {en} } @book{FassbenderVogler1990, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A call-by-need implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {44 S. : graph. Darst.}, year = {1990}, language = {en} } @article{BohnFunke2003, author = {Bohn, Dieter and Funke, Harald}, title = {Experimental investigations into the nonuniform flow in a 4-stage turbine with special focus on the flow equalization in the first turbine stage}, series = {ASME TURBO EXPO, Proceedings of the ASME Turbo Expo, 2003}, journal = {ASME TURBO EXPO, Proceedings of the ASME Turbo Expo, 2003}, isbn = {0-7918-3689-4}, pages = {281 -- 289}, year = {2003}, language = {en} } @book{FassbenderVoglerWedel1994, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {62 S.}, year = {1994}, language = {en} }