@book{Fassbender2003, author = {Faßbender, Heinz}, title = {Architektur eines F{\"u}hrungsinformationssystems unter Verwendung von Enterprise Java Beans}, publisher = {FGAN-FKIE}, address = {Wachtberg}, year = {2003}, language = {de} } @book{Fassbender1999, author = {Faßbender, Heinz}, title = {Architektur eines plattformunabh{\"a}ngigen verteilten F{\"u}hrungsinformationssystems}, publisher = {FGAN-FKIE}, address = {Wachtberg}, year = {1999}, language = {de} } @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} } @book{Fassbender1995, author = {Faßbender, Heinz}, title = {E-Unifikation f{\"u}r primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.}, publisher = {Shaker}, address = {Aachen}, isbn = {3-8265-0917-X}, pages = {IX, 272 S. : graph. Darst.}, year = {1995}, language = {de} } @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} } @article{ZastrowRieder1976, author = {Zastrow, Udo and Rieder, G.}, title = {Eine Variante des Kraftgr{\"o}ßenverfahrens f{\"u}r ebene Rahmentragwerke}, series = {Wissenschaftliche Zeitschrift / Hochschule f{\"u}r Architektur und Bauwesen}, volume = {23}, journal = {Wissenschaftliche Zeitschrift / Hochschule f{\"u}r Architektur und Bauwesen}, number = {3}, publisher = {HAB}, address = {Weimar}, isbn = {0509-9773}, pages = {304 -- 306}, year = {1976}, language = {de} } @article{ZastrowPanagiotopoulos1979, author = {Zastrow, Udo and Panagiotopoulos, P. D.}, title = {An integral "Equation" approach to the unilateral contact problem}, series = {ZAMM - Zeitschrift f{\"u}r angewandte Mathematik und Mechanik. 59 (1979), H. 8}, journal = {ZAMM - Zeitschrift f{\"u}r angewandte Mathematik und Mechanik. 59 (1979), H. 8}, isbn = {1521-4001}, pages = {392 -- 393}, year = {1979}, language = {en} }