@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{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{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{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{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{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} } @book{Fassbender1989, author = {Faßbender, Heinz}, title = {Implementierung der Call-by-Need Auswertungsstrategie f{\"u}r Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabeb{\"a}ndern}, address = {Aachen}, year = {1989}, language = {de} } @book{FassbenderBuehlerMarkmannetal.2001, author = {Faßbender, Heinz and B{\"u}hler, Gerhard and Markmann, G. and Wunder, M.}, title = {Protokolle zur Replikation verteilter Daten}, publisher = {FGAN-FKIE}, address = {Wachtberg}, year = {2001}, language = {de} }